Once he reports it as stolen and has a case number, date of theft and all the other information, you should post it on this site in the section where stolen guns are located.
I dont want to say which hotel it was, he got a call from their claims department today and it sounds like they may pay for his gun. If they dont I will post the name of the hotel