How much to shave off the cylinder head.

I still say Measure what you have then figure what you need to do to get 8.7-9.0 CR. After 9.0 tuning can be a PIA, if wanting to run 87-89 octane.
Don't just go milling willy/nilly.