When my Dad bought a gas grill in the 70's, it had lava rocks in it with the burners below them. Wandering around a BBQ store tells me that none of the manufacturers do that anymore. How come?