I dispatched R to the lighting shop for new bulbs. They are not cheap; close to $5 each. The sales staff pointed out a new type of bulb, an LED bulb, that will fit the same socket. They will last for a decade, R was told. R thought we should try them and so bought two. He began to hand over a $10 note to pay, but the cost was over $40 for the two bulbs. He hesitated, then decided at over $20 each, they would probably see him out, and maybe me too, so he bought them.
They are exactly the right strength for the lamp and we are able to do away with our home made cure of foil covered cardboard tubes. Brilliant.