I have to agree with this.I don’t know what these rocks are but the bigger issue is that the rocks used in a reef tank are critically important in many ways, not just something to attach coral to. I would never use something that wasn’t already well known to be reef-safe and reef-beneficial.
I would NEVER consider using a rock type that needed some kind of coating to be acceptable, that is just completely asking for trouble in so many ways.