From experience, they are only about 3 mm thick. I expect there was a choice of thicknesses available on the production line to allow for production variation. I think it's only the Type 9 equipped cars that had seriously thick spacers.