In una discussione si può fare tutto.
Poi fai come credi.
Le rocce laviche hanno il vantaggio di essere leggere, ma, di contro, sono molto abrasive e i pesci possono ferirsi seriamente. Meglio evitarle.
Prova anche a farti un giro da qualche rivenditore di materiali edili o in qualche cantiere. Le rocce ti costerebbero davvero poco. Vanno benissimo anche quelle calcaree.