I have some friends looking for a hotel in town for July. I have never personally stayed in any of our local hotels in either White Rock or Los Alamos and don't know which one to direct them to. Would any of you have recommendations or experiences I could pass on to them?