I need to replace an o'ring on my HW100 which is impossible to identify. The old one measures 6.95mm OD and is 1.75x1.56 wide.

I'm guessing a 7.0 x 1.75mm would probably fit - just wondered if any o'ring specialists would agree with my guess?