Yes, 20%.
The personnel of your club is there to help make your stay more comfortable, all the while remaining discrete and attentive: they should be treated with the utmost consideration. Tipping is not necessarily the form, however, remembering them at the end of the year with a recompense is most definitely the way to show one’s appreciation.