Hey John, sent you an email about an hour before you posted. Did you get it?
Clear Fork and New River come together to form the BSF. Both of those are stocked, and muskies move seasonally a lot. Also, it would not surprise me at all if they stock on the Kentucky side.
By the way, just found another link. The state biologists do consider the native reproducing strain to have died out:
But, on the bright side, they do now stock the Ohio River strain, which is almost the same thing. Maybe some day they'll start reproducing again.