I never have, and the stocking report doesn't list that lake as being stocked with cokes, all but 3 times in the last 10 years and the last time was 2008...
Never fished it. Have relatives in the area and they had mentioned that it had been planted with kokes a few times. They don't know anyone who has fished it for kokes. Didn't want to haul my boat over for nothing. They say Georgetown Lk is pretty good for kokes.