I worked at a crypto exchange, yes we used shamir shares. But probably not as sophisticated as you're thinking, there was basically one big "break glass" text document with all the keys. And then a hand-rolled software on each person's laptop to distribute the plain text and run / practice the 3/5 recovery ceremony. So anyone losing their device would be equivalent to someone quitting and require its own ceremony to reissue a key, but I don't think that ever actually happened.

We explored using smart contracts to have logic perform the 3/5 consensus rather than a cryptosystem, but that was never rolled out while I was there. Social recovery wallets in general did not take off, which was a big learning moment for me that very few people actually cared about the technology and what they really wanted was an app with as many gambling features as possible that uploaded their keys to google drive.