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