.25 or something rings a bell? Not quite sure from memory. I was running about 28psi boost

new plugs about every 2000 miles though. At least they were cheap!