True lava rock is fine. The grow rocks you are talking about is man formed lava rock anyway. BBQ lava rock is the same thing just make sure it's natural lave rock.