spark plug dimensions? (w7dtc, et al)

[Ken Keith]

Hello List,

As some may remember, about a week ago I discovered my '88 
5kcstq had a stripped spark plug thread.

I'm about ready to order my Time-Sert kit to allow me to 
repair/replace the threads for my cylinder #5's spark plug hole.

My problem is that I don't know which size bushings to buy.  There 
are many sizes, all based on the spark plug dimensions.  I don't 
know what the dimensions are, and I'd like to find some online or 
from you folks.

I could measure the plug I suppose, but I imagine there is a true 
specification listed somewhere that I'd prefer to use.

The website for the Time Fastener Company is 
http://www.timesert.com
Or, specifically for spark plugs: 
http://www.timesert.com/sprksert.htm

So far, I believe the correct kit is the one for washer seat (not taper 
seat) plugs in 14mm x 12.5mm size.  The insert lenth choices are 
(in mm):

7.0
8.0
9.4
11.0
13.5
15.0
16.8

I appreciate any info anyone could provide.

Thanks,

Ken