Tim,
Yes to answer your question, NGK 5s are hotter than 7s. There will be a lot of engines running around with cold plugs [ that are not needed ] getting carboned up with soot & running poorly. Plugs have a very generous temperature working range, about 800*F, which got extended with the use of copper in the centre electrode.