Going to have the transmission oil changed for a 2005 slk350 manual as I don't think it has ever been changed. I've been looking at Red Line MT-LV 70W/75W GL-4 Gear Oil, which the Red Line site recommends for the manual transmission - has anyone used this oil? Is there a better oil that's best for maintaining the gear change smoothness?