Anyone out there know what corals were brought in prior to the Hawaiian ban? Someone out there has to still have Hawaiian corals in their tanks that are being aquacultured, right? Are there corals that were originally Hawaiian but are now being called *insert fancy name*? It is almost impossible to find the origin of a lot of these named corals.