I wouldn't dick around trying to mill this and that for compression. I would leave it be. Remember, one full compression point only adds about 3% in power, so the gains there are not worth the cost. Plus, milling a lot from the block and or heads opens up possibly needing custom length pushrods, which is another expense. I simply would not do it in your instance.