We found 1 Reddit comments about Hot Cherry Peppers Ground - 32oz. Here are the top ones, ranked by their Reddit score.
So that is what my friend in High School called them and I just kept calling them that.
It isn't on their online menu.
The closest equivalent I could find is Ground Hot Cherry Peppers.
Edit: I enjoy them and they are an order of magnitude spicier.