It wouldn't involve the hotel's liability insurance in any case (the hotel didn't do anything to be liable for), and it's doubtful the hotel would claim any sort of insurance for what is probably less than $1,000 worth of damage. It's likely less than their deductible, and in-house staff probably repaired the damage.