Chris Mason, Jaguar E-Type 4235