Originally Posted by
GRALISTAIR
I would not tip - I would have gone down to reception and collected them myself.
+1
Go down and get it yourself, and tell them of their "mistake".
If hotels can't afford to have staff who work properly, then either they should make it entirely self-serve and/or reduce prices accordingly.