My 997.1 manual C2S is approaching 110K miles and I want to undertake a gearbox transmission oil change. The car is used on the road, not track. As older engines are recommended to use different oil from 0W40 to 5W40, is it better to use a different grade of transmission oil for older gearboxes? My clutch was replaced c60K miles ago. Thanks