Has anybody had a massage there? We plan on visiting twice; once to soak in the spas, and again for the massage. I have signed up for Harmony for two package which is KneippVital treatment, an Emperor’s Bath and a massage from head to toe. Not sure what KneippVital treatment is. Is it customary to tip for these services?