I got a few of these from an Ebay vendor and they are not exactly a drop in replacement, but they work fine with a couple mins of tweezing. And....they're cheap.

E Switch P227 Series DPDT Latching Power Push Button Switch 7 Amp 125 Vac | eBay

Its an E-switch P227 series. The metal bracket needs to be transferred from the old switch, no big whoop. The NC pins need to be removed. The rear pins drop right in, the other 2 need to be repositioned a little to meet up with the board vias.

Vendor shipped fast and packed well to avoid damage. These should be in your parts bins....