There are threads about repaints if you do a search using the search feature. I'm not sure if there's any info about the specific paints you're asking about. I think most people use the paint that is most available in spray cans...whatever that is. Although some folks are lucky enough to have professional sprayers, most of us are limited to resources we can buy easily and is available locally.
If you have a sprayer, you'll have more options for sure.