Big Texas?

Okay, two product posts in one day... sorry. This is really more of a question. My coworker just came by to inform me that the vending machine on the floor below me has some "Big Texas" in it and they will probably go fast. (Side note: I only learned of the existence of said vending machine about 3 weeks ago despite working here for 6 1/2 years. It's probaby better I didn't know actually.) I had to have him describe this product to me because I had no idea what he was talking about. It's a pre-packaged cinnamon roll that apparently has won some awards. I have never seen or at least noticed one in stores. Is this a regional thing? Have any of you ever heard of or eaten one of these? I am not in a hurry to rush downstairs and get one when their is a Au Bon Pain that serves fresh pastries right around the corner but I'm still intrigued given that this is apparently a "thing" that people know about. Give me a Hostess fruit pie anyday...