Here's something interesting I found! In 1972 the color, Medium Coral (60449) was offered for Pintos. This is actually the same color code, 60449, as 1965 Poppy Red.
I'm still thinking Bright Red was used on Dyno Don's P/S Pinto but Medium Coral is a factory 1972 color. In some pictures Don's Pro Stock Pinto appears as an orange-red. Maybe Medium Coral was used???