How much do you tip someone who helps with wheelchair at airports?

Close to the holidays, ten bucks is a good amount. Otherwise five would be enough. If the gate is very far away, go another five dollars.