Thank you all very much! I am not really the "fish person", but I've written out all of your advice to pass on to my mother, and I am sure she will learn a lot.
If it helps, our Koi stay in an outdoors pond during the warm months, so I'm sure she will change their winter situation as well after...