My washing machine seems to have died. Can't decide whether to look to repair it or replace. It's a basic Bosch, we've had it around 10-11 years, we are a family of 5 (kids 12,6,5) so it's been well used and abused....what would you do?