Yep, they're right. Lava rock comes from, well lava. Volcanic rocks have all sorts of metals in them. You should only used calcium-based rocks in saltwater setups. If it didn't come from the ocean in the first place, it doesn't belong in a reef tank.