NGK, Bosch, or Denso? I going for the platinum tipped... mahal kasi ng iridium. Or do you have other brands to suggest?