It was the pump, we tipped it now and again and it leaked sporadically during a wash, then a couple of weeks ago there was a loud bang and some smoke and we decided it was the end of the dishwasher. thanks for your advice, we eeked it out for a further few months. was at least 7 years old i...