My partners son is going to repaint the faded red on the cabinet of my BSD with an airbrush. What type of paint is best to use? He is quite the artist and does lots of airbrushing but he is only 15 and therefore inexperienced, has never painted a pinball machine before. The site he uses for all his painting supplies has many types of paint, which type should he use?