@rogerscrafford True, and there’s no doubt that I’ll need it sooner or later. I hope I’ll remember where I put it when the time comes. In the meantime, I can’t help feeling that €13 would be more useful than a spare seal!