Haha sorry kenc. That is my neighbors house. It's the old farmhouse. You probably wouldn't like mine as much.
Ok o draining the pond seems inevitable. That sucks.
But from your description it is only minnows, right? You can buy a few pounds of them and be back into business fairly easily and quick.
Just think if you wanted to drain it with nice size fish that takes years to get there. Then it's OUCH!!!
Better to fix it now before its to big of a treasure.