Contact Dave at
http://www.dgwojo.com/
He's the resident expert.
The service manual is not listing voltages for those and no way to tell what type of lamp they are.
You may have to measure voltage across a burned out one to get an idea what it may take.
It appears they run on AC power in that unit.
IF Dave can't help, let me know and I'll dig mine out to see what I can figure out for you.