In article ,
timfel writes:

Our electrician has accidentally cut all the ceiling holes for some
halogen downlights about 6mm too big!

It strikes me that this must have happened many times before, so

You could ask him how he fixed it last time he did that ;-)

--
Andrew Gabriel
[email address is not usable -- followup in the newsgroup]