And if not, if it's really referring to a standard food product sold in Tex-Mex restaurants, it's only fair that this so-called burrito be liberally dosed with hot sauce during the preparation phase.