There were a few pages about Peñón de los Baños on the internet, and my guide-book also briefly mentioned it. I had thought it would be more important, con-sidering the presence of Peñón in the historical documents I was collecting in the archives downtown. Real hot springs in the middle of Mexico City—naturewas difficult to locate amidst the densest …