What brand of jalapeños do the ice cream man trucks in LA use for their nachos?

I always try to buy canned or bottled jalapeños at the store and they never taste the same or are mushy, and I doubt the ice cream man is making his own lol