$80,000 to dredge Rudee Inlet after Hurricane Sandy