I've got an Estiluz A1153 fixture which takes a 200 watt T3 118mm R7s krypton bulb.
The bulb came with the fixture, so I didn't see it when the electician installed it.
I want to buy a couple of bulbs to have available when this one burns out, but all I see are halogen bulbs. Is that the same as the krypton/xenon bulb the manufacturer specifies?
Are they interchangeable? Are there any differences between them?

These were expensive fixtures (I've got 4 of them) and I'd like to get the best, brightest, longest lasting bulbs.

Now that I know a little more about LEDs I'd love to have equivalents, but I don't see anything more than a 150 watt equivalent. It's a large area, and I need the most possible light.