Thanks guys. Problem is the car is overseas. Does anyone have the part number of the microswitch? Can i do a DIY or would i need to have the shop replace the microswitch.

I'm a little mechanically inclined and can follow basic directions. Any suggestions?