Sunil has given you lots of good advice.
At this point I would suggest making your realtor do a little extra work to "earn" that commission. Have them pull the plats and property description to fully delineate the ownership of the pond.
Also an innertube and a rope with a weight are a perfectly acceptable "low tech" means of estimating the depth of the pond.
Good luck!
