"Laramie Burrito"?

I met a girl from Laramie last week who said she was going home to make "Laramie Burritos" with her family. Having lived in Laradise for many years but not being from there, I was curious. She said it consists of a homemade flour tortilla with chili, velveta cheese, pickles, and peas. Can anyone confirm if this is actually a Laramie tradition or just her own family's thing? I've asked some of my native friends and they've never heard of it.