Good point.If you don't care about killing off the bacteria and having to cycle the new aquarium, then why not just put it in a bleach solution for 24 hours or more? That will certainly kill them all for sure, and you'll just need to soak the rock in a Prime/Amquel/other chlorine remover solution for a few days after that to be sure that all the chlorine is gone.