I'm given though to having the head shaved a little, to increase the compression. But I don't know how much it's at now, or what's a good amount to take off...

I have a stuck valve, I believe a friend dropped a bolt in the carb, and it made it's way back to #8.

So, I'll be doing a headgasket, and I'm gonna do the other headgasket while I'm in there, so I can get a looksie at the valves, and get the head in some solvent.