From what I concluded there was no dollar missing. The bill came out to $25.00 so the overall bill including tip would come out to $30.00 total. The two dollars pocketed by the waiter was his tip. There was 3 dollars given back to the customer. In the end the math all adds up.