i can't speak for everyone else, but, i kept my tips on too and i tipped my steward and his asistant 30.00 extra apiece(i felt they deserve that, when i asked for something the first time, i never had to ask again, they knew what to do and they knew what i needed)
that's not including my son tipping them as well(i don't know how much)
my waitstaff- extra 40.00 and again i do not know how much my son tipped.
i feel you tip how much you want to tip, some people don't tip extra and that is fine. i just like to give extra if the service deserves it.