When I've repaired GRP in the past I've always gone 400/600/800/1200 and finished off with G6 cutting compound (fine). For dark colours you sometimes need to follow up with G10. Then buffed with a good quality wax. The results are invariably as good as new.