On mine which is a 1987, it is on the driver's side between the two firewalls near the OVP. Perhaps if you give him the part #, he will be able to find the one on his car. It should be the same part #.
Cheers