There should be no problem using stock length pushrods. I would change to harden ones if money permits. Though it is always good practice to check the pushrod length with a checker. I think autozone rents them. If not, just have a friend turn the engine over by hand and watch how the roller tip is making contact on the valve tip while it is going through two rotations.