@GeekMan1222 might have some 5380 cores still. As far as a key, YAJ is your best bet. I wayyyyy overpaid for one of the two I got (paid $70 or so for a key with two cores and another was like $30), but it was a buy once cry once deal. Just make sure to grab two so you don’t have to bend the control panel to open it
Of course there are plenty of third party keys and lock options. Even ones that are just thumbscrews!
https://www.amazon.com/dp/B01FT88P7M?ref=ppx_pop_mob_ap_share
I purchase that one and it works ok. Not perfect, but ok.
I also have a third party key and core that I don’t need which is a look-alike of the 5380. I’d be happy to sell it to ya for cheap if you’re interested. I’ll dig it up in a bit.