273 stock push rod length?

Looking to buy a set of those Mancini 273 look a like adjustable rockers for the 340 with J- heads and I cannot find for the life of me the stock 273 push rod length.

Anyone know for sure? I found a set of stock push rods from Mancic they sell as 7.500" in length but it has been so long I dont want to trust my memory.
Thanks in advance,
Joe
I can't believe how I missed these after all of the damned days of rocker searching I did. I looked at rollers, non rollers etc. then I narrowed it down to adjustable. Which left me to use the 273. Which are getting pricy. In hindsight after seeing your post... I spent about the same for 273 with shipping as the new Mancini. In hind sight... I'd have just bought those instead. And not had a 50 year old part to fail.