Stop in for a cup of coffee

Eh I don’t trust myself to keep that nice and round and yeah I’d screw it

Chis, if you are talking a difference of 70.3 vs 70.6 mm that is about 12 thousandths of an inch. (average human hair is 0.003" so 4 ish) Sand paper wheel on die grinder would easily be done and barely touching it.