I have done lot of cleaning bricks on our renovation over the past year, and also a lot of paint removal. The Torik steam cleaner we are using on our house would have that off I think. Be careful with pressure washers, they have the capacity to eat bricks. granted you have engineering bricks that should be a lot harder than what ive been working on.
Other things you could try in a small area - sugar soap - this cleans soot off bricks better than anything else Ive tried.
caustic soda (be careful, makes brick acid look like a relatively safe solution!) I mix it with wallpaper paste and water, it's heavily alkaline, so just like acids work, alkali's substances can do the same job.
TSP - Trisodium phosphate, didn't work for me, but inexpensive and worth a punt.
Bicarbonate of soda blasting. (supposed to be quite effective)
Be aware brick acid is available in various strengths the strongest ive found is 36% I think, anyway this is a different beast to the 10% stuff.
really depends what the tyrolean is made of, if its cement based, the strongest brick acid you can get should get it off. you'll need to invest in a decent acid sprayer and where suitable PPE for all of the above.
Good luck fella.
Db