I was talking with a neighbor and he mentioned that they were only going to pull the lake down 3' anyone confirm that? Usually it's 6' and some change.