Thanks - that's it - no evidence, only heresay. I'm pretty sure you're correct.
The Pirate Jack ones state theirs are only 8" across, which only adds to the confusion, but I eliminate those from any real consideration as they're aftermarket.
I had to have a pushrod cut down on one of my...