Well, the temps have plummeted to the 30s in the morning and the fish have retreated to their milk crate in the middle of the pond, so I guess I don't have to worry til spring.
I did put a little food in while it was warm one day, but figured they had plenty of gunk to feed on if needed.
Jees! No pond, no gardening, now what!!!!!????????