I've seen a 12-pounder caught out of there. The guys at the marina have told me they think there are bigger ones in there. They should know, but then again, they want people to fish there, too. I tend to believe it, though.
I have caught and released several that weighted around 12# on a boga. Have heard of a 14# caught there from a reliable source.