ダメになったパッキンを取り出して測ってみたら外径8ミリ、内径3ミリだった