I wouldnt go 12.5:1. A little high for pump gas and not tuning it. But you could mill the head slightly or get a thinner head gasket and get it in the 10 to 11 range. Much easier.... and cheaper.