לא משנה, כל שמן גיר אוטומטי אדום יעשה את אותה העבודה.