Yes, you should change out the manual transmission fluid after
Vantage 6-speed Gear Oil Grades Explained - 6SpeedOnline - Porsche
Red Line 50205 MTL 75W80 GL-4 Gear Oil - 1 Gallon
Redline MT-LV 70W/75W gear oil for 5 speed manual - Page 5
Super Tech Gear Lubricant SAE 85W-140, 1 Gallon Bottle
Red Line (50204) SAE 75W80 API GL-4 Manual
RED LINE 75W85 GL-5 GEAR OIL (1 QUART) – Oil Shack
Redline MT-LV 70W75 Gear Oil 3.78L - RED50605
Redline MT-LV 70W/75W gear oil for 5 speed manual