New plugs

The plugs that were installed originally were NGK BR7EF. Shopping online showed it was cheaper for me to get a set of 10 (for a Jaguar?) than a set of 8. I re-gapped the plugs to .040 and installed them.