I used to go to the Denver public library near the mall. There was a restaurant on the 10th floor. Nice one too. Is this the same library? I used to meet a friend there for lunch. The server was excellent.