Looking at purchasing a 997.2 turbo Car has 7 months Porsche OPC warranty. The current tyres on the car are Bridgestone, I was under the impression that these cars came with Michelin N rated tyres and these were required for a warranty claim. Is that the case?