My 3 acre pond has had an aeration system for about 7 years. It is now underperforming. The local vendor who originally installed the system is recommending replacing the hose and stones. He has quoted 925' of weighted hose at $1.75 per ft and 3 stones at $25 each. Does that sound reasonable?