My current stock CDI has the right plug... If some people get the Big Gun and really like it I'd be willing to pirate the plug off my stocker to make a better CDI work.
There have got to be all kinds of stock '00 and '01 CDI's sitting around, considering how many aftermarket units are in use.

 

just tried mine out today and didn't hit the rev limit once. seems to work

 

Doesn't Procom make Big Guns CDI's? If so you can get it from Procom. They make them for both standard and baja version.