Yes; in this case even if the angle varied from 11* to 15* at the top of the lifter stroke (which I suspect is exaggerated), that increases the pushrod stroke loss by about .003" vs. assuming a constant 11 degree pushrod angle. The point Mike needs to know is that this loss is part of the deal and is not insignificant.