porsche 935 irs