I called o-line a few years ago when they were selling o72 switches on eBay for ! $35 ! I bought at least 10 of them. All of that inventory has dried up.
Recently there was the newer style k-line o42 switches on ebay for again $35. All brand new. I bought 6 of those. Do some research, o42 k-line switches were also sold in orange boxes with a 6-xxxx part number. You just have to watch. Occasional deals are out there.