Gravel grinding is not dead