Found a new aftermarket coil that will fit, and it is testing in the right range by my trusty multimeter: about 8.3.

No idea if it will work until I put it in and try. Will let everyone know if successful.