Thank you for the extra info. Since I posted (of course!) I have found there are different LED-driver modules which have different startup times, so you have wisely chosen a quick one.

Actually, I'm not completely sure that the heater element in my kitchen-grill uses any more power than that 300W bulb in the original Durst head