I power the lighting on my vintage pachinko's with a 9V battery as well and I'm partial to LED bulbs myself, much brighter than incandescent and use...
I see, JT Comatz; I’ve bought over a dozen machines from them on the group shipments over the years; it’s going to cost more than $100 total shipping...