Advice needed about pulling dev. of fire pictures

[Melvin]

I took some pictures of a car on fire the other night. I didn't have time to meter so I set the shutter to 1/125 (I should have set it to 1/1000) and just took shots with a wide range of apertures from 2.8 to 8.
It's tri-x 35mm. My question is, should I pull the development a stop or just develop it normally?

 

[nikons3forme]

I would just run it normally, it is film, the highlights are not as likely to be blown out as you might think.
Also, with a fire, there is a variety of light from second to second.
I think pulling it would be more likely to ruin it.
But that's just me.