Thanks for the welcome!
Oh, I'm aware that you'd have to keep the waters separate. The Koi wouldn't be very good for the water quality in the pool, and I don't imagine they'd enjoy the chlorine, either.
I've got access to a basically unlimited supply of granite rubble, and was thinking that...