Petty Blue

I have seen the same color change names, At one time it was electric blue that Richard and the folks at the shop mixed together some deferent blues together is an old story I got
years ago,