The piston shaving idea was for a motor I was thinking about buying. However, due to my having to buy 4 instead of just the one that is broken.They’re discontinued I am going in a different direction. I’m looking at a kit on eBay that is supposed to have Mahle pistons
That will produce 11.7 cr with a 65 cc head. My new plan is to use an .80 thousandths head gasket and take enough off the pistons to get 10.0 cr , very 93 pump gas friendly.