На ойл-клубе раскопали уже, что "девятка" у Миракса действительно на пакете Инфениум, как и Синтек Премиум, анализ которого они недавно выкладывали.
Вот такая ещё есть статья:
Масла по-корейски: мы проверили в лаборатории четыре моторных масла, отработавших 12 000 км
Доверять им или нет это дело каждого...
Но лично мне думается, что премиальные линейки Обнинск сейчас действительно на Инфениуме мешает.
Поэтому, для кого это важно, можно Миракс "девятку" брать.