I'll try to remember that for my next trip. I generally use Hotel de las Flores.