There are many red pigments used in paint.
Body shops are probably not using iron oxide pigments. They are dirt cheap -- and, originally, made from dirt.
Is There Any Truth To This?