That’s no guarantee: a run-of-the-Mill professional electrician doesn’t know jack squat about power requirements of an audio installation. They know all kinds of stuff about securing high power installations with PV, batteries, large industrial buildings with lighting, DALI, PWM-drives on large machinery, RCD devices, power losses on a long cable, and what that means for the characteristics of a fuse, you name it. But I can tell you that they really don’t realise the fridge of the catering, the heatpump of the building or even the dimmer of the venues main lighting can really be heard through your PA system. For them, power quality and harmonics on the grid is some theoretical thing which is left over to the grid company. For us DJs, sound techs and musicians, power quality is a very audibly thing in the form of hum…
(I live in Belgium, our regulation regarding electrical installations is pretty stringent too…)
I always split my audio and lighting, preferably from 2 wall outlets on separate fusing, if possible separate phases. Even with LED lighting: the last time I didn’t separate audio from lighting (I was with the coverband, and power was provided to me by the AV rental company), I had to turn off the AV rental’s LED-star backdrops, because they created a hum on the guitars….. and that was in the VIP room of a large, relatively new, soccer stadium, fed by a private 10kV substation… I suspect the electrician really did know what he was doing there…