It is not just your waitstaff that get the 10$ aday. You have a total of 10$ a day taken out for tips, it is pooled between all the waitstaff, the cabin stewards, buffet workers etc.
You don't have to " do " anything. If you want you can slip a staff member a little extra, but it is up to you.
Trad or pc makes no difference.