What size socket is needed to remove the Tornado spark plugs (type used with the sealed wires), and will a standard deep well socket work, or do I need something custom? Haven't tried to remove them yet but thought I'd ask while I'm logged in here. Thanks