I would have insisted on some peroxide and band aid from the FD or whoever would answer the "at your service" call when it happened. That is the extent.
Then monitor the wound to make sure there is no MRSA or something. If all were healing ok. If some bacteria shows up (like MRSA) then I would just notify hotel to do some extra cleaning.