We are going back home and July, and usually like to make a trip to the Spa for a massage as part of our vacation. We usually go to the GF, but I hear you can get a discount at the Spa at BWV and WLV. Has anyone used the facilities at either of these places? Anyone had a massage? Would you recommend one over the other?