You won`t really know until you set up the rockers,but if the heads were shaved .040",(you said .004"-a mistake?) I`m guessing that the stock lenght should be OK,but you will probably need shims for the rockers to get the correct preload on the lifters.