Has anybody stayed at the Casa de Sierra Nevada in San Miguel de Allende? I'm thinking about staying here if it goes up for auction since I'll be in San Miguel in March. Thanks for your input.