I can't remember the exact part number but go to Radio Shack. They have several drawers of loose bulbs and 12V LEDS. Just pick the right size and roll. I will check to see if I have a few left in the garage.

BTW: The leads will be a lot longer than you need... just trim them to right length