My first thought, when I read that post, was that some sly service manager probably got a flash of the cash sticking out of his wallet and made a play for it. :ummm::ummm: :confused2::confused2:
OK don't kill me - it's CLUTCH pump of course, just didn't know it's called 'pump', it's just a tiny cilinder right? And the only other pumps I know of are water and oil, so...anyway, putting a new one in resolved a lot of strange phenomena, apparently it can be 'half' broken making troubleshooting a bit more fun