How much does it cost to hire a small dredge