Did you have any joy with this colour Mike?
I've looked and the only mention I could see was this one
https://www.zhome.com/History/ZColorGallary/index.html
but no details provided.
You could talk to Mario at Premier Paints in Malaga and see if he has a listing. He is very knowledgeable and helpful, so worth a try. Cheers Paul