Spoke with the shop yesterday. They said they do measure on all corners and plan to mill it down to 9" as you mentioned. We discussed which gas I wanted to use and the compression ratio I'd end up with. I'm looking to stick to 87 octane as it's easy to find around me and the compression ratio will be somewhere around 9-9.5 to 1.