When they built my pool last year they were landscaping and the bobcat ran into the deck. It cracked the perimeter a little so they came out and patched it up. I just noticed that in the location of the incident there is a hairline crack across the deck. It appears to be through the full thickness but doesn't involve the pool shell. Does this need to be addressed, sealed or repaired? Here are some pics. The first 3 pics are for perspective as I pan into the hairline crack.