I've got one of these on the way. New, $120 shipped.
I worried a lot about if they were legitimate old school HE (I did't see this thread until just now) - in my search for information, I found a supplier that still had one lying around, they wanted $2100

Really makes me wonder what these switches went for back in the day.
