Wow. That happened to me too. Some restaurants will round the bill DOWN in favor of the customer. (Welcomed gesture.)
I was there months ago and when I got my change back there was no coin and the printed slip did not return either. We were in a hurry (because of slow service) and I just put the bills in my left pocket (separate from my other cash). My friend left the tip. When I got home, I counted that change and found it was a dollar different than I expected. The rounding was in favor of the SERVER. I haven't been back since, mainly because of slow and indifferent service but now I read this is a pattern at this restaurant.
EVERYONE BEWARE!
Skip