How much to shave off the cylinder head.

Ouch! I got mine done for 150. I understand a little at a time.
How long ago was that?