I have a very small section of waterline tile, maybe 6 to 8 inches long, where the grout is chipped out and missing. All the rest of the tile grout is fine, so not sure why this one spot has an issue.
Attaching a couple of pics


I'd like to repair it and hoping for recommendations or experience with specific grout products that have been used with success. I'm weighing the pros and cons of the following:
1. Traditional modified and sanded tile grout
2. E-Z Patch® 22 Neutral Cure 100% Silicone Rubber
3. Novagard RTV 700-164 Silicone Tile Grout
Don't want to buy a giant thing of sanded grout just to do this little area, but I will if that's the best option. Also, someone I know suggested maybe I re-seal the rest of the tile grout while I'm at it. I have some "regular" tiling experience (e.g., showers, etc.), but not pool tile. Is use of a traditional grout sealer a good idea/recommended in a pool application?
Thanks in advance for any input!
Attaching a couple of pics


I'd like to repair it and hoping for recommendations or experience with specific grout products that have been used with success. I'm weighing the pros and cons of the following:
1. Traditional modified and sanded tile grout
2. E-Z Patch® 22 Neutral Cure 100% Silicone Rubber
3. Novagard RTV 700-164 Silicone Tile Grout
Don't want to buy a giant thing of sanded grout just to do this little area, but I will if that's the best option. Also, someone I know suggested maybe I re-seal the rest of the tile grout while I'm at it. I have some "regular" tiling experience (e.g., showers, etc.), but not pool tile. Is use of a traditional grout sealer a good idea/recommended in a pool application?
Thanks in advance for any input!