He didn't come back out.
I remember my dear Mother and Father went out to eat one night (they didn't do that very often) and being the nibblers that they were their dinner and beverage bill came to about $25. Mom put the bill on her cc and left $5 on the table. When the cc bill came, that $25 showed up as a $200 charge and she was highly upset. She pulled out her receipt and and I showed her that she had left the line for “tip” blank and that it was probably how the charge ended up higher. She called the cc company and cleared it up and then marched down to the restaurant and ended up walking out with gift certificates totaling $500 (which she gave away to her friends). G-d how I miss that lady!