DDR Light bulbs

Anyone know where I can get replacement bulb for our DDR solo machine. They are EZ10, 12v, 20w. Also wondering if their an LED bulb on the market in this size.

Thanks for any help

Pac-man-Pat
Star Worlds Arcade.