I just went through this NIGHTMARE, OMG, did this suck and take a long ass time to finally get to seal.
We kept doing 20 thou at a time and it finally took after 40 or 60 thou ( I have tried to block this out of my memory ).
BTW, the intakes are not totally perfect so make sure you get someone who knows there stuff or you might get a really wacked out milling job.
As far as a formula, a good way to judge is how much did the push rod move? Mine moved a bunch due to the head and head gasket being much shorter then before. That gave us a good starting mill job.