Later on we went to eat at this Mexican restaurant tucked in the back of the Hard Rock Cafe. It was ok, and not a total misnomer I suppose.