lava rock is usually used in freshwater applications, i've never seen it in a saltwater tank and i've been involved with this hobby for 10+ years.
I can't say it's necessarily bad, but replacing it with live rock will improve the water condition and make the tank look natural.