My friend gave me dry rock that used to be in his former aquarium but now has been sitting outside in an empty bucket for a few months. It is filled with ants and other bugs inside and outside its pores so I submerged the rocks in a bucket with tap water to kill all the bugs but I'm guessing that some of their dead bodies will stay inside the deep pores within the rock. How can I completely clean the rock so it is safe to use in my tank?