You have probably decided what to do by now, but I will add my story. I have a very old brick house with white paint for at least 50 years. I hated that paint and tried everything I could--chemicals, water, muriatic acid, me standing out there with a little scraper, etc. Eventually I paid a brick mason $3000 to clean and tuckpoint about 750 square feet of brick. An absurd expense except that I hated that paint so much. The brick is an incredibly beautiful and distinctive color and I actually am not having any regrets about the expense.