How much do you tip for LHR?

I see people at SEV tipping. Should I feel bad that I only tipped $9?