Burnt bathroom mirror light cover - any need to get electrician out re possible short circuit?

[PeteMP]

Firstly, I am clueless about electrical matters...right...

I am probably being overly cautious but here goes...

The cleaner I use came round earlier this morning and sent me a message an hour later when I was out saying that smoke was suddenly coming out from the right hand cover for the bathroom mirror light, which they had on. It didn't make any sense to me, until they told me that they sprayed Viakal on the mirror and must have accidentally sprayed some on the mirror light which was on.

I imagine at this point you're questioning the intelligence of a cleaner who has a light on hanging over a surface which they're spraying cleaning product on to, which they've clearly been doing every time they've been at my home. They panicked, took the cover off which was very hot (fancy that), took a photo of it (photo 1) and put it in water to cool down. See, it actually gets worse.

There's still a pungent smell of burning in the bathroom (not emanating from the light directly) - all in all, the light bulb looks OK. but I'm wary of turning it on. Should I get an electrician to have a look just in case it's caused a short circuit? I know it's very unlikely, but thought I'd ask.

Safe to say that's the last time that particular cleaner comes round, even though they've offered to pay for a new bulb/covers...

 

[Wayners]

That's a very old bulb that gets hot Vs a modern led which is much cooler.
Should have RCD protector on fuse box?
What's the plan? Shade may clean up so have you tried?
I'd want to swap bulbs to led

 

[Murdochcat]

Try washing the bulb covers / shades and try it again before doing anything else

 

[sparkymarka]

That’s the glove ….stuck to the hot glass …see pattern on glass / glove ….you need to remove that off the glass

 

[PeteMP]

Well the light works fine although there does seem to be a smell of fumes initially when it's on with the cover off.