Bill Stock wrote:

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.

I find they exist fine together. Generally the GF breed too fast anyway, so
losing a few to koi isn't an issue for me.
--
derek