Craig, there is a place in Oviedo called The Pinball Lounge @Oviedo Bowling Center
376 E Broadway Street, Oviedo, FL 32765
407-495-2875
Kurt works on the games there and in surrounding areas, he may be able to help you. I visited there on vacation a couple months back, super nice guy.