Red fish in Roberts Gravel Pond

[Bardic]

We fished Roberts Gravel Pond yesterday. First time taking our little aluminum boat with oars out (since the water is low and we couldn't get the biggoer boat in). The breeze died down and a cloud came in making it absolutely perfect to see the bottom clearly, and the temperature was perfect. Caught 2 catfish and 30 or so 5" perch, which wasn't hard when we could see them. The perch hit the sinker or swivel nearly as much as the hook.

Anyways, we saw a bright red fish swim into the plants below, 2 different times, but it may have been the same fish. Anyone know what it was? Maybe a Koi that someone released in Roberts?
[signature]