True, it could well be because I was in the room. I'll find out what they do tonight when I'm out, but I suspect it's going to be exactly the same.

As far as tips go, well, it's in the Netherlands, so I don't expect to tip for anything other than the restaurant or a porter.