Hi all, I've had a new battery positive lead fitted, but it didn't come with the adaptor that enables you to screw it to the terminal post

. I believe it's called a "castle"? Do any of you have a spare one please? I've spotted one on eBay for the *negative* terminal (
https://www.ebay.co.uk/itm/NEW-GENUINE- ... SwMNxXbGIi), but I gather those are the wrong size.
Many thanks, Nick