why cant you just run a cable off of the house service for the pond?7 grand seems a bit much,I'm no expert but maybe calling an electrician would be a tad cheaper then the electric company.
Also have you tried to get a estimate on the rate of loss yet?
