The dinner servers at Cabanas are not part of the rotational dining serving teams (at least for that particular cruise). As such they do not receive any of the automatic gratuities. If you feel that you received excellent service from one of these servers, and you feel that they deserve a tip, then they would probably appreciate it.