Most aquariums I know of do not keep real corals in their very large tanks, instead opting for artificial corals. I presume this is because it is probably much cheaper and easier to manage than real corals in tanks of this scale, but I am wondering if there are any aquariums that do house real...