What not to do with lava rock