The bulbs arrived today, I am on the road, but my daughter sent me pictures.
They are the original lamp, smooth interior and labeled correctly. The service was good, the shipping was fast and reasonable priced for shipping these days.

$15.00 per bulb.
You may want to stock up, cause you sure can't beat that enlarger for 35mm.