I'd be inclined to either get a spare set of new one's in stock (they are cheap)
link for OEM I fitted a pair to my Plus 8 five years ago, which a few of us do or get them sleeved in stainless as others have done for a more permanent solution.
Dot4 is what you need.