Our pool, built in the early 80's and unused for about 20 years until we bought the property, has a space all around between the deck and aluminium coping. It collects a lot of pine straw and other debris and is a challenge to clean out. Should there be some sort of sealant in this gap?