Nice, I was going to try the plug thing too but forgot to bring mine. I'll have to pop in the new NGKs this weekend; maybe street tune a little more first to lean out my top-end as well. Here are my dyno logs: http://www.mazdas247.com/forum/showpost.php?p=3307912&postcount=228
looks like you could lean it out a bit if you wanted...not too much though. from 3-4000 it gets a little rich. im real happy with these plugs, but ive also heard that the BKR7F's (i think that's right) work very well too. they are stock heat range...im debating on whether i want to drop those in instead of the ZFR7Fs since im only at 8psi.
if not, they'll be up for grabs if anyone wants them.