They are M5 and seem right to me. Perhaps someone else who knows more will weigh in.Thanks for the info!
Are these the right size?
Amazon - Othmro Nylon Flat Washers M5 10mm OD 5mm ID 1mm Thickness Sealing Gasket for Faucet Pipe Water Hose, White, 50PCS