Does anyone know what the standard replacement plugs are for a 2005 AXX engine code GTI?My VW Dealer said they are Bosch Double Platinum , but stuff on the web suggests that these have now been superceded by NGK Iridium .Can somebody confirm ?