been fishin elkhorn for over 20 yrs and do occasionally see small schools of about a dozen or so swimming around. Dont know if they are koi or what but dont guess they hurt anything. never see more than that at a time and only see them every once in a while.