La especie tipo es ahora "Agujaceratops mariscalensis".