Please has anyone any personal experience/views on these hostals? Especially the San Antonio (C. Leon 13), which looks a bit less grim from the outside than many of the others. Thanks!