So who in the heck is out there measuring your pond depth? And I have the same question as
@Meyer Jordan - at 900 gallons, how deep are we talking here? What's the allowable depth? How old is your pond?
Anyway, I think I'd be tempted to put some nice 6" rocks in the bottom, let them measure again, and then pull those suckers out.
Ugh. Like 6" is going to make a difference in whether someone drowns or not in a pond. A small child can drown IN 6 inches of water given the right conditions (or wrong, in this case) - sad but true. I hope none of your neighbors have buckets. Or toilets. Or kiddie pools. Far more drownings happen in those than in garden ponds.