parts for a 92 seadoo?

[wayne]

I was given a 92 seadoo gtx, excellent condition except that the "dead man" switch is broken. Dealer wants like $80 for the part alone. Anyone got a better place to get it?

This is the switch that the lanyard around your wrist goes to, to kill the engine should you fall off.