Has anyone reached out? If not I might. The more that do it the more they’ll likely listen. We can’t assume they’re on to these things. At worst, an extra prompt can’t hurt.