Sry this is kinda off the crappie subject but has anyone caught any of the walleye that was stocked above barren river lake yet. I was wondering what the average size of the fish were now