Hi, I have bosch classixx SGS45C02GB dishwasher which won't end cycle and wont heat up. Engineer has inspected and told me the reed switch needs replacing at a cost of £80. (no call out fee) I have taken machine to the shop. I tried to get another quote as this seenms OTT to me, but other shops say no reed switch on this model? Is it called something else. how much should it cost to get it replaced?Thanks