I too, would be curious to find out what is best. To me, once the vinyl is scratched, there's not much you can do to repair the vinyl other then try to color match some type of filler, or replace the side-art complete with new, at which point, you're not really restoring but replacing.
-csa