Jim,
It may be the case that the RCD was at fault, but it could also be the pump brushes on the way out. We had this with a vac motor that looked fine and worked 99% of the time, but would trip some electrics. It had a buildup of carbon on the commutator that seemed to throw some rcds. Cleaned it and all was well, meaning it hasn't done it since.
Maybe time to look at some pump maintenance or renewing the switch.
Graeme
Access Cleaning Solutions