I don't have dimensions, but it's pretty obvious what's needed to go over those 6mm studs so the pipe stands free of the side cover lip. A few thick washers would work if you don't want to make or hunt down spacers.
The very top post has a picture of one, the thicker one next to the gasket
The very top post has a picture of one, the thicker one next to the gasket