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...
In the meantime a neighbor helped me with the Japanese sings on the machine: License expired December 1987 and in the middle section on the playfield...