Follow-up: I installed a 3.5mm x 16mm Buna-N 70 Duro o-ring from o-rings.com. So far, so good. No leaks.