The friendliest place on the web for anyone with an interest in aquariums or fish keeping!
If you have answers, please help by responding to the unanswered posts.
I just used a grill brush when I cleaned mine. I just took the water hose, held it over them, scrubbed until no dirt came off, then soaked them in the bathtub overnight.
Any time you boil rocks, you risk them exploding... it's not something that happens often, but the risk is there. I really wouldn't suggest anyone ever do that, nor advise anyone to do so.