No - not at all - I strongly suspect the wait staff has figured out they make more if left up to patrons (many of whom are from the US and accustomed to tipping) are allowed to decide what the service charge/tip should be.

Frankly, I think it's a privilege to be able to take such a wonderful and relaxing vacation - and the beach servers work their tails off - so I'd tip even if it were included... The servers at KonTiki are top notch - they really make my vacation special - it's why we go back year after year after year...