I had one fish that developed lumps on it’s body and, now, I have two. Should I remove them from the pond. The weather is getting colder. I live in Michigan, so my pond freezes over every year. I keep a small heater in there, in order to prevent a buildup of gasses. Will these lumps spread to the rest of my fish, and will the 2 that already have them make it through the winter? I believe this is Koi Pox.