Well yes thats what im assuming... i just did a fresh build but the machine shop never milled the heqds on that side so im unsure on how much it was milled
The shop should know how much they cut off, I'm gonna guess off hand they charged you for it on your bill so they would have an idea of how much they cut based on what they charged; OR have your intake cut an amount equal to or just slightly less than the thickness of the gaskets.....done all the time.