This was the Ferrari with the 10,000rpm V12 isn't it?