I've got my old one at home in the garage.... but not separated the motor from the pump etc. I could maybe do that at the weekend if you want some measurements/pics?
If you are into dismantling/fixing - mine didn't take much of a clean up to get it to run again, few soaks of WD40 over a few weeks, and a bit of wire brushing really. If the new one ever goes, might consider doing a better clean up of the old one and refitting - seems like it just breaks/jams/shorts or something from the rust, rather than being something totally terminal.
