Anyone lost a Koi carp?


We saw a big one in Pool River this morning (River Pool Linear Park).

Joking aside, I’m not sure how long it will last in there once the water level recedes. If anyone keeps Koi and has space for one, might be worth catching it - it would be very easy.