Old thread revival....

Would the NGK R5671A-8 plug be a reasonable place to start with a 12.5-1 E85 RB?