I used a 3M vinyl repair kit. It was pretty good, but I found that the vinyl 'patch' did not stand up to the sun exposure very well, so I ended up using some SEM Vinyl paint over the repair spot after a few years.
I think the best repair is to replace the section of vinyl that is damaged . . . but that is more of a labor of love.