I believe the stock pushrods are 7.050", so you're looking at 1/4" difference, exactly what you estimated.