Thanks Rob for clearing up this issue. Hopefully everyone considers that when figuring out the proper tip for their servers and bartenders.