273 stock push rod length?

so...it's settled once and for all.
....7.25" for use with 273 adjustable rockers and hydraulic lifters with stock unaltered heads?