Io ho un acquario simile, non lo tengo aperto con l'asta ma con un pennarellone

, quindi una spanna all'incirca

mi dà l'idera che prendano più aria ed in questi anni non ho avuto problemi, se vuoi provare....
Più che rocce laviche magari rocce lisce, le laviche "grattano" o anche rocce di fiume purchè non siano calcaree. Se lo trovi il gastromyzon dovrebbe andare bene.
Aggiungo solo una cosa, se il pesce fosse mio proverei di tutto, anche una cura con bactowert o GT, riesci ancora a trovarli?