Gulf Blue GT40 I presume?
Based on personal experience you're best to mix it yourself. It's a matter of personal taste and I never found one that looked right to me. Best results I got were with Finishers Gulf Blue lightened with with white and a touch of grey.