I’ve contacted the company in this case (in fact something else I ordered recently went missing, the person sending it has posted a replacement and told me to keep the first if it turns up. It’s unlikely to, now, but would be handy if it did). Big companies and smaller private sellers do appreciate the honesty.