If you do need to replace the machine I can recommend these guys
www.hillsradio.co.uk/
The website looks a bit crap, but we recently bought a Bosch washing machine from them. With delivery and also disposal of our old machine it was £100 less than the next cheapest site and it was delivered...