I haven't heard from the original poster.
Mouser has these switches for a little over $24. I'll let mine go for $12 + $6 shipping. The Otto part number is: P1-32621, includes mounting hardware, original terminals and screws. Payment via Paypal would be great. Send me a PM to work out details.
First responder takes the switch.