I am travelling to Madrid on a budget with my father in law. I'm looking at Hostal Armesto because I think it might suit the "older crowd". Has anyone been there who can give some feedback?