What kind of paint was used to paint the exterior brick the dark charcoal/black you have here? Was this a flat finish? What if anything do you use as a final coat to protect it? Thanks.