The variety of those jalapenos look like the ones that we grow.If they are they are called the mammoth jalapeno,i belive you can find the seeds in rupp seeds or harris seed companies.And they do get BIG.
I love finding those huge Jalapenos and stuffing them full of different things. I'll take smoked sausage, or lil' smokies sometimes. Other times, I use some leftover pulled pork. Possibilities are endless when you have that big of a pepper to fill up.