Six vintage (1977–79) Micro Switch keyboards with Hall effect switches (as far as I can tell), removed from consoles, just appeared on eBay. Closeups of one of them:
$40 and $45 each plus $16 shipping. Some are cleaner than others (& one is missing its spacebar); I suggest you examine all photos.