Definitely the red one is genuine original paint. I had an anthracite gray/marble Tommasini Super Prestige and paint was in the seat tube. Same with many of my other very nice frames, including a top-of-the-line Bianchi I just got. Overspray into the seat tube is a lot more common than one thinks, and anyway it doesn't hurt anything as long as it's not too thick.
DD