I gave a buddy of mine a piece of rock out of my tank that was excess. It was taken out of water and allowed to dry. He would now like to add it to his 28 gallon. The rock is 3 or 4 pounds. Does anything need to be done other than washing the rock in RO water before placing it in his aquarium?