Actually, it's a great idea to double check, because sometimes a restaurant will double charge you and that will come back to bite you in the end. That's what happened to us at T-Rex last year, where our server accidentally charged both of us 2 credits each when she was only supposed to charge 1. (guest services or the concierge can fix it for you if you explain your situation)