Manu,
I took your advice and emailed Jean-Philippe at Profil24. He quickly responded with a suggestion to use Gulf blue for the light blue, and generic red and silver for the other two colors. He also sent me around 30 nice high-res photos of the real car, which will be a great help. He also pointed out that there are very light guide lines molded into the body to mark the different color areas, which will help a lot with the masking. Nice customer service - greatly appreciated.
I'll try to find some time to take some pics of the kit contents and post them.
Larry