It looks like the Pond expansion will be a GO in the spring. So I would like
to add some Koi to the herd.

I know I'll lose some of the GF Fry to the Koi, but will the Koi bother the
older GF? The older GF are 3+ inches and the Koi will likely be around 6+
inches. There will likely be a few more 1" GF in the spring too.

TIA