Tuning O ring size?

It looks like is is going to be #9 for the MKI fill probe O-rings.

Capture.1620416959.JPG