How much to shave off the cylinder head.

It would benefit WAY more than you think with a small performance cam and better exhaust. I'd think about it if I were you.