I acquired a 5 gallon bucket full of rock from a friend. It was in his tank for a few years until he quit running his saltwater aquarium about a year ago. Since then, the bucket has been sitting in his garage. I want to use this rock, but I don't know if I should boil it or just let it sit in RO water for a while. What is the best way to clean out dried rock for use in an already running aquarium?