According to Chat GPT after I asked if the 5671A-7, like in my turbo cars but a step hotter is the right replacement, it gave me an entirely different plug number. I have not personally validated it, but I know the 5671A-7 would be a decent replacement plug if it burns clean on the street. I use a -8 (one step colder) plug in my turbo strokers. The -8 would probably be in the 3922 temp range. Maybe that means a -6 or a "BKR6..." would be good as a 3924 replacement.
"NGK BKR7ES-11, gapped down to about .032–.035": best replacement for your known-good Autolite 3923.
NGK R5671A-7: reasonable if you want a more race-oriented, non-projected plug while keeping heat range 7."
It also says that the TR5 differs in 3 ways:
Its a -5 heat range, which might be on the hot side of a 3924. It has a tapered seat instead of a gasket. And, it has a .708" reach instead of .750". I've heard of this plug before, so it must be something I've seen other guys run, but don't think I ever used it.