Anyone been to Madrid? We've booked a few days away for the beginning of December. Hopefully, we'll catch up with friends & also see a little of this great city. It'll be a first for us so any recommendations of what to see, where to eat, what to do would be great.