I'd find another electrician.
If it makes you feel better I've just priced up power to someones garage at £3k. hopefully yours should be a bit less!
If it makes you feel better I've just priced up power to someones garage at £3k. hopefully yours should be a bit less!