What motor oil is currently recommended for using in a 95 456 GT ? The manual calls for 10w 40 but I believe most dealers are using 5w 30. Thanks.