Formula for TDC & lift?

Yes, Take the cylinder to TDC and use a very light valve spring and measure amount the valve can be depressed. Take measurement and devide by 1.5 (or rocker ratio) for static cam lift, give yourself some wiggle room for inaccurate rocker ratio and rod stretch. ie. a .510 lift cam has a .340 cam lobe lift. (.510/1.5=.340) Is this what you are looking for? If you are depressing and hitting at .540 and you are running a .620 lift roller then you have to cut .080 reliefs. If you do this without a head gasket you should be able to use your figures right on, with the .03x head gasket providing the wiggle room clearance.