Size of main jet holder washer on Weber 40 IDA

[Quickstep192]

I’m away, but I’m hoping to order parts for my carbs so I can get crackin’ when I return.

Since I can’t measure myself, can someone tell me the I.D. of the copper washer that’s used on the main jet holder of 40 IDA carbs?

Thanks, hopefully it will help get me a day or two ahead of schedule.

[LuftWaffle]

8mm.

https://www.piercemanifolds.com/GASKET_p/41540.001.htm