We replaced all the damaged boards, sanded them with a drum sander and by hand, and painted everything with water-repellent deck paint.
