Best person to answer your question is logically a Joven technician. Why don't u just request from them a house servicing? If the faulty part is the DC Pump, usually DC Pump has a longer warranty (around 5 years), so replacement for the DC Pump is free, but u will still need to pay for the technician servicing cost (usually around RM50 to 80 I think) because the warranty is only for the parts, not on manpower cost.