Hi pool nerds! This chunk (in my hand) came out of my grout, and that made me notice the larger chunk above it that is out. Without redoing our whole pool, what product(s) should I use to patch these spots? This is a fairly isolated issue, so I'm thinking patching would be fine? I am only a...