It cost about $2,800 in Aug 2015 to dig the muck out of my 1/4 acre pond here in Arkansas. That's about 1/12 the size of your pond. Extrapolating, that would be about $33,600. YMMV.