Wow, that does seem steep!
We usually tip about $2 per bag as well but last time the porter did rather better out of us as our car driver was hopeless - arrived late, drove way too fast (maybe cos he was late but still a scary experience, rude etc. So the porter got some of the driver's tip as well as his own. He was helpful and deserved it.