Respectfully, guest services is probably going to provide zero help here. Half of them don’t even know many Royals policies let alone federal customs protocols for a lost ID. I wouldn’t trust any advice from them on this one bit nor would I expect them to give advice. now they may allow you to call customs to ask. But the OP could probably do that on their own.
Basically, I doubt it is Royals place to give guidance on a customs issue unless there is clear and standard protocols. And if there were such protocols, they would be easy to find online.
I’m quite certain this is going to be a enhance questioning situation at most. It may be nothing if they don’t ask for it. This situation is probably common in total numbers.