I found the Petty Blue paint!

They did call it "corporate blue" a few times.

as well as several other names.