I have been there, but not in 20 years. I did drive up about 6-7 years ago. Great lake, not as big as Don Pedro, but still a good sized lake.
Big enough for house boats.
Hope it gives you some info, I know its not much, cant really tell you if there is much of a party crowd or not!