Interesting, Google Earth show Vallecito lake San Juan NF as 12,030', must be more than one lake in question here.