Small ding? None of the the tools mentioned . . .
Usually you dab a little gelcoat into the ding and cover the spot with a small piece of clear/rigid plastic until it cures. It results in a nice flat surface consistent with the surrounding area. For curved areas, you put a little bend to the rigid plastic.
The patch kits would have all the stuff needed.