I have 11 year old Indesit. The repair man said it would cost probably about £100 to fix. Is it worth it? If I need a new one have you got any recommendations?? Thanks