From the USA

[Delphinus]

I think they are listed as "live rock" -- I saw the category flash by on the customs officer's PC screen when I was brokering some plants a few years ago.

But even as such, as live rock is formerly coral, just about any stoney coral is listed in CITES and the rules technically include anything that is made from a species or parts or propagules (I'm not sure if that's a word) thereof. So like seeds of a plant, or boots made from an alligator, are still considered part of CITES. So live rock would still fall under this area if not listed outright. But ultimately I guess this is a moot point as I'm pretty sure it is listed as "live rock" or "coral rock."