GNttype.org says to use cr43ts plugs for stock, cr42ts for high boost applications. Went to the ac delco dealer and he said those numbers have been changed and the stock plug is now r44ts. So should I use the r43ts or r42ts for higher boost applications?