Several people in the restaurant were waiting for orders with their similar devices, which suggested to me this could be a pager system of some sort. Turning the receiver over, we see stickers with interesting information, including a UHF carrier frequency. For this kind of situations I often carry my RTL2832U-based television receiver dongle with me (the so-called rtl-sdr).
I knew I was forgetting something.