Just bring a dial caliper with you and measure it.
I went and looked at one at that place a while ago and it was cut quite a bit.
Tony tried convincing me it was no big deal.
He says, people cut them all the time.