Second question: does anyone bother to fill the divots in the ribs on the inside? I removed the punky and broken planks by splitting them out. That left the clenched nails sticking out of the ribs, so I cut off the heads and punched them through to the inside with nail sets. Then I removed the nails from the inside with a pair of pliers. Leaving a divot. Do I fill the divots, or just leave them and fill with varnish?