A shame that the hotel hotel decided the line was not worth to process, as it surely meant the tip was NOT given to the staff. I would probably point this out to the management, though they probably don't care at all already at this point.