My 7 year old Zanussi dishwasher started doing this yesterday. It makes a buzzing noise when it starts washing, which is louder when it tries to drain. Added to this, the arms aren't going round either. Does this sound like the pump's knackered had it and it's time for a new DW?