Generally the place serving expensive stuff has more staff per customer so they should get a larger tip as they have time to give better service while the cheaper staff have to rush to to he next customer.
That doesn't explain the $7 vs $700 though. It would $10 vs $40