With a pond that size it may be worth a shot at using aquagel (drilling mud used by the oil & gas drillers). It comes by the 50 lb bag. There are a few threads here on the subject. It worked on one of ours that had a stray sand area.