Yep, you're close. Actually it turns out that the Jesel adjuster is 0.281 diameter (9/32) and I ordered pushrods with a 5/16 cup size.

Smith Bros doesn't stock a 9/32 cup for the 7/16 pushrod that doesn't have an oiling hole so they are going to make me up some custom ends.

Jesel has the correct pushrod ends but their pushrods cost $40 each and $640 for a set of pushrods that I'll only use once was a little hard to justify.