Anybody know if the Miles, Tom Wallace, or Cherokee Park lakes have been stocked with trout yet? They're supposed to be in October, but the trout stocking schedule at KDFWR's site doesn't mention them yet. But I know sometimes in the past they haven't posted it until after the fact.