Sorry, I haven't compared those kinds of products. I just know that I had some mintruck clientel in the '80s that used it on their interiors and tires, and I have a really hard time painting over the outer body.
WD40 is an even worse contaminant. One of my guys was using it on some rusty bolts while I was painting a '29 Ford delivery. It got through the booth filters, and I would estimate the "fisheyes" in the hundreds! You can't sand those out! You have to fill 'em! It went on to be the NSRA Western Division Street Rod of the Year.... but I had to work my butt off! :-(