Cab, took your advice, called Manton, real nice folks. Driving up to Lake Elsinore to pick up pushrods Tuesday. Custom pushrods for ~$40 more than the off-the-shelf pushrods from the big cam grinders, way cheaper than one cam company in particular. I'd call that a good deal. Thanks.

BTW, none of the off-the-shelf pushrods I found have the correct ball on lifter end for EDM ifters. While the EDM solid lifters will technically work with 3/8 ball end, the 5/16 actually gives way better contact area.