I haven’t asked a brick-and-mortar shop yet because I had found out that I couldn’t just buy identical new ones minutes before writing the post. I’ll try that, although I’ll have to do some searching to find an optician around here that isn’t a chain.