In the end, I had a company use similar fire bricks. They cut them to size using the cutting side of a grinder wheel. It was very easy and it has since worked fine. It was about $120.00 to replace one brick, including labor. I could have done it myself and would next time. It took about 20 minutes.