Help. I am looking for a used 2000 Acura 3.2TL in Gray. Looks like gray is not the official name of the color... does anybody know what it might be? What is Laguna Blue?