Hotelet i El Puerto var ett gammalt kloster. Jättefint ställe.