These look just like them. Do they shot blast the old concrete just before they do the plaster? I just know that they used a jackhammer thing to get rid of the old plaster, right at the beginning and it was stripped down to the concrete. I’m wondering if they do some fine tuning with this just...