I’m from the Porsche world and those guys would happily pay $18,000 to order that shade of blue as a “Paint to sample” color. Mexico blue, Gulf blue, Golf blue, Riviera blue, etc. Those guys are addicted to pastel blues. I used to have an Oslo blue 356. I know of two guys that ordered PTS cars...