I understand what you mean, Luke; but my concern is not that the water temperature is decreasing, but the fluctuation. A steady 10 degree drop over two days would not cause me to be very anxious (although I admit I'd be alert to any unusual behavior). The same 10 degree drop over night would cause anxiety that the fish are being exposed to a stress factor, and I'd be particularly alert to any early sign that ich was making an appearance, since I've had to deal with it before. (Hard to see it on koi, so easy to know "something" is wrong w/o knowing what until it has progressed considerably.)
Last evening at 7pm the water temp was steady at 72F... same as at dawn. At 7am this morning it was down to 70F, just a slight drop overnight. ....
This "cold front" (I know folks in Minnesota would think this was a heat wave.

) moves out today and we return to slightly cooler than normal temperatures in the 80sF with nightime lows in the 60s. Water temps should rise to the mid-70sF: Perfect growing range for koi for 6 more weeks. However, with the end of daylight savings time at the end of October, I'll be reducing feed to one morning meal during the week, because it will be dark when I get home. (Two meals on weekends when I can watch the feeding habits.) During November the koi will graze algae more and I'll gradually shift feeds to staple diets and wheatgerm, away from the very high protein fed the last several months. In December I'll be primarily feeding wheatgerm pellets, some extruded earthworm and occasional staple diet pellets as a treat. In January, usually our coolest month, water temps will drop into the 60sF. On the old pond, it was extremely rare to go below 60F. We'll see how the new pond's systems may impact that. A fast is imposed in January, but the koi graze all day, leaving copious amounts of dark green droppings. So, they never really stop eating during the year. ....One of the many things that makes koikeeping in a warm climate so different from experiences of those who have written most of the books.