boy those guys need to learn how to use javascript on a web site! don't know what the color really is because ALL the colors that include "dark" in the name look black, which just shows how useless old color chips can be sometimes, especially ones scanned into a computer - called Aqua, it could be that your dark green is what the original has weathered to over the years, tho Aqua might be more blue than green
still doesn't tell you how to duplicate it, or really even tell you what "Aqua" means - might try a shop that sells auto paint and see if they have the actual ol color sheets
Bill