we have had our Miele washing machine for about 14 years. Probably gets used 5 times a week, on average. Has just sprung a small leak. Is it likely to be worth getting repaired, or has technology improved so much that we should get a new one?