Far as I can tell, someone wrote:
Hi Everyone
I intend to start a high production of soft pretzel for
wholesale distribution. i need any help and coments about who
manufacture the best automated equipment and pricing.
and can we produce pretzel in rotary ovens the type we use for
dough?

Surprisingly, there was NO pretzel makers of any kind on E-Bay.

I outfitted most of my bagel shop on E-Bay. (There are two bagel
divider/formers), but nothing for pretzels except the ever present
display cases.

Never having made a pretzel, I don't know what to look for, but I'm sure
they are out there.

Here's an interesting article I found. This guy makes his by hand.
Maybe that's the way to go.

http://www.salisburypost.com/november99/112499p.htm