I have an old 2.2 acre pond with similar problems as yours. If I had the budget for #3, that's what I'd do. Dealing with the spoil (muck) is an issue but can be solved with money.