I need to know are the plugs No. 9 and 10 used in the US cars or not?