Wow, great response as always, Bill!
I THINK there may be a couple grass carp left from when the lake was stocked, but those are sterile and won't breed with Mr Koi-zilla, correct? Also, if I want to get this ugly thing out of there, short of jumping in the water after it next time I spot him, what would be the best approach?