Was planning on taking my kid to the Videogame Museum in Frisco this weekend. I'll have to ask about this while I'm there.
When in doubt, trust IRL niche nerds. Related, there's a used pinball/arcade game refurbishing place I drive by all the time. Maybe I should stop in!