I haven't seen any big ones (10lb+), but that doesn't mean there aren't any.
If a lake is loaded with small carp, it probably means they are overpopulated and competing for food. I think we need to get over there right away and thin those puppies out so the remaining ones can lead more comfortable lives.