I've been to Mexico many times, but never CDMX, and I'm considering making a spontaneous short trip just to visit a couple massage spas and check things out before I take a longer trip next year. I prefer to go to spas rather than have private providers come to me... other than the two recommendations in this thread (which look great), is anyone aware of any others? Think it's worth it for a short trip?