What about tipping at the spa? I've always followed the same approach as ship-wide there (particularly as the spa checks don't have a space to add a tip), but I wonder if I'm correct that the tips included policy includes the spa?