It was still nicely dented in July. Even if they fixed it in last two months, it only took 4 years. I’d hate to point this out again after next hurricane when we wonder why it takes so long.