Joe Grey’s sauce was not Batman.  It was Bad Man.  The three sauces were Mild Child, Hot Woman and Bad Man.
I grew up in Monongahela.  Everyone calls Jerome’s sauce Batman but that’s not the original name.
And Yes Jerome torched Joe Grey’s building, everyone knew that but the police could not prove it.