We have log dirt coming in from the outside in one spot. What needs to be done? Just sealant?This used to be a home, but is now a library. Thanks