I can see your point but how would you calculate how much and would it really make any difference? I remember back in the 80s putting new contact breaker points in and finding TDC by rocking the car in gear to turn the crank, which is hardly accurate but never seemed to make any difference to the engine as long as I got it as near as I could.