No no, che io sappia le rocce laviche non sono calcaree, ma sono spugnose in modo simile.
Il venditore (materiali per edilizia) le identifica come "pipeline", se cerchi su google rocce pipeline ci sono un paio di risultati.
Anche se qualcuno inorridirà
su rocce simili che mi aveva dato un amico togliendole dal suo acquario avevo versato candeggina per eliminare alcune alghe, poi risciacquate sotto acqua corrente e poi messe in acquario. Le alghe sono morte e non c'è stato nessun effetto negativo né sui pesci né sui valori dell'acqua.
Per questo chiedevo cosa aggiungere all'acqua del secchio per pulirle.