Anyone ever heard of or used a cleaning product specifically made for use on pet stuff called "Healthy Habitat". They market it as a disinfectant spray that is safe to use on reptile tanks and decorations without any rinsing. I have used it in my Bearded Dragon's tank with no problems. Not sure if I want to try it on aquarium decorations.