Update two months later:
I bought this pack of 18mm diameter 5mm thick rubber discs:
and drilled a 4mm hole in the middle. It fits, and seems to function so far!
I bought this pack of 18mm diameter 5mm thick rubber discs:
and drilled a 4mm hole in the middle. It fits, and seems to function so far!

