Another, more urgent repair has cropped up, so the faulty
halogen is put aside for the moment. Thanks again for your
informative and useful replies.