The common name, coral cactus is generally given to a grafted jungle cactus that does best in very bright light with an occasional drenching of the soil. This plant is closer in its needs to a Christmas cactus than it is to a standard desert cactus. I would probably leave the plant alone unless it looks like it needs to be repotted. My guess is that it will be just fine as is. Give it as much sun as possible and don't think it doesn't need water. It does need some every other week or so. Don't overdo it and don't let the water stand in a saucer underneath the plant. Just water till the it runs out the drainage holes and don't water again for a while.