The way she said it, ten thousand sounded like a fairly generous headwaiter's tip.