T5 Transmission No Shift Gasket?

Had Nissan do an overall inspection of the 85 Turbo when I first got the car. Said it looked good except the shifter gasket was leaking. Searched for the part online but oddly enough, it looks like they only make the gasket for the 71C and not the FS5R90A (T-5).

FS5W71C Transmission Shift Control

Z31_FS5W71C_Transmission_Shift.jpg

FS5R90A (T-5) Transmission Shift Control

Z31_FS5R90A_T5_Transmission_Shift.jpg