Can you use red lava rock in an aquarium? is it safe? the bag says thatit is ok for use in ponds and aquariums.