I can second the tipping at specialty restaurants one. We saw the line, and even asked a nearby bartender if any tip was included for our servers in the fee, and she said "no".
BINGO - that's THE CATCH - the tip is not for YOUR servers, it is split amongst the whole pool of tips that goes to the entire crew. The only way you can ever tip YOUR server on a ship is to hand the money directly in a very inconspicuous way (because there are also camera s everywhere).
Either that, or you could just say "this is for "___my____server" but even then the Hotel Director would still probably take it away from them and make them pool it.