How much to tip at Christmas? San Francisco restaurant servers say habits are shiftingDec. 22, 2023 • 5:00am