I should take some lamps for roboscan 812 (they have 150w gy9.5 lamps)
locally I can find the osram hti (80 + €) and the osram emh (40 + €)
the hti are too expensive for me, while the emh have a very short life ...
looking on aliexpress I found some lamps that could be fine, I insert a link for example:

https://it.aliexpress.com/item/32908...chweb201603_52

have any of you ever tried them? it may be worth it,or is it more convenient to sell them to buy some led scanners?