Wouldn't surprise me, as I've heard of 2lb Crappie coming from the lake MANY years ago. I think I've only caught one "keeper" out of that lake, but that was way back when there was a size limit (& only a few years after the lake was opened). The lake is supposed to only have Black Crappie in it (originally), but I've caught White Crappie & Blacknose Black Crappie out of it in the past.
And we do have to remember that the KY State Record Crappie was caught out of a "watershed lake", albeit down in the western part of the state, and "Jam" Ferguson caught a World Record Crappie out of a private pond down in Tenn. so the possibility of one that big coming from Cedar Creek is there.