How much to shave off the cylinder head.

Maybe down the road, the head shaving is already 200 to 250 bucks. So a little at a time.
Ouch! I got mine done for 150. I understand a little at a time.