Is the Denso K16PR-P11 the original spark plug for a '99 VX? What's the highest gas mileage replacement? Thx.