just wandering if its worth getting my PMC 25 repaired and brought back up to standard. Anyone had any experience with this or should i just flog it and get a new mixer.