I couldn't find a website for the restaurant or pool. There was an article online saying something about memberships.. I am wondering what the restaurant's hours are, and if the public can use the pool one way or the other? I'd call them if I knew their number. Guess it'd be the office of Tierra Alta
I would guess lunch and dinner they would be open. I would just run up there for a quick snack and ask whatever questions you have. Let us know how the food was. I've heard of the membership thing up there but I'm not quite sure what you would get out of it as there wasn't much up there last time I visited.