Im running an old BBR Stage 1 chip in my 3dr fitted back in 1991.
Originally BBR changed the plugs to Champion C57C but you can’t get hold of them these days, so asked this same question a year or two back myself, to see what the best modern equivalent was.
Mark Shead recommended IK24’s, so that’s what I’ve been running ever since with no probs at all.