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