Well done for getting the washing machine to work again! It IS very annoying, because most of the time these are perfectly fine pieces of equipment, and it's just some small 25-cent plastic bit that's broken!