...Bueller? Sometimes answers don't come quickly but at least on this forum they usually come. You musta pulled a stumper there. I believe the mighty VX came with Denso K16PR-P11 plugs gapped at .040 inch. Now Denso PK16PR11 Double Platinum plugs may also be used but just remember that they are not a high performance plug, just a high mileage plug, as in long-life... I have seen them both listed as Platinum plugs, but I believe the K16's are Iridium. Champion has their RC10PYP4 available but I think I'd steer clear according to reports.
Speaking of reports, it occurs to me there was a discussion either here or over on The Planet about our little beasties having some sort of sensored ignition system that required the use of OEM Denso plugs. Not sure about that one but it bears mentioning...