@jambulance embarrassingly, the power points in the back office were tested to work fine. I’m under the impression some safety items were tested on the walk around with @Paul_Buckley (Eg. RCDs).
Fixing the lights in the main workshop is part of the $350.
Items not part of the $350 are: soldering bench DGPO, DGPO in welding room, aircon, hanging powerpoints.
The additional work is likely to more than double the quote. I don’t have the electrician’s contact details.