Does anyone have a Tassimo machine. We lost the instruction manual and it is flashing a red light at us. It still works but has a red light. DH says we have to de-scale it. What does that mean and how do I do that!?!!?