Якщо взяти колір морської хвилі, додати трохи блакитного, маленьку краплину чорного, то вийде колір петроль. Який зараз в тренді. Тому використовують цю назву на всі відтінки синього, блакитного або сірого. Бо звучить дуже стильно - " стіна кольору петролю". І не важливо, що то не так. Не кожен кольорознавець може заперечити, бо не знає. Я також не знаю, як він на справді виглядає. Здогадуюсь, але доказів ще не маю.

Марно, певно, шукати їх в просторі інтернету.

Але спосіб дізнатися є.
Можливо в професійній крамничках, де продають фарби, знайдеться той петроль.