I don't think it was cheap - £3500.
Can i also ask about the mains wires touching the central heating pipes - is this ok or should they be clipped away from the pipes or can the pipes have insulation around them? If it is a problem is this something the electrician or central heating installers...