A family friend who used to have his own building company popped round and mentioned it shouldn't be any more than about 5k, but that was just from a quick glance. Basically he said do the groundworks ourselves, 2 days for a bricky and similar for a joiner to do the roof.