You'll have to call the restaurant for that.
They do but don't generally hand them out, so your server might be confused at first. The manager will know what it is.
I personally never heard of them. I would call.
Thanks! Your answer is awaiting moderation.