I agree.

The pistons are probably 0.160" in the hole and and a CR of 8:1-ish. I think head milling and thin gasket to add about 0.5-ish to the CR would be worth it.