Bought as spares for roller shutters but not needed in the end! Handy cover that slides over the keys, to prevent accidental key pressing!
eBay