This site shows normal depth at the dam is 121.5 ft. I think other #s have been stated but this is what I'm going with. At that depth, the top of the lake is 7,665 ft elevation.
http://www.usbr.gov/projects/Facility.jsp?fac_Name=Vallecito+Dam&groupName=Dimensions
On the next site, you have to do some navigating yourself because the chart options don't save in the URL.
http://www.usbr.gov/uc/wcao/water/rsvrs/ds/vallecito.html
Go to Historic Data
Select Vallecito Reservoir and Select Dates
Set it to a date range that includes last November.
Click on Pool Elevation.
You'll see a chart that shows the lake surface was at about 7,625 in November. Meaning the lake depth had dropped about 40 ft fom the "normal" of 7,665. Whatever number you use as a max or normal lake depth at the dam, subtract 40 feet to get the depth in November.
Now what's really interesting is looking at historic data and using some common sense, the lake will be at its deepest in May due to runoff when the search is proposed.