https://pinballfactory.com/details/
This is who Pinball FX is contracted with. It looks like a newer version of the pinballfactory machine. The one I linked to is FX2, the one your playing is FX3. They had a price on them at one point, maybe call and see if they are still selling them.