Help with name for type of commercial dough Mixer

At about 2:40 in the attached video is a shot of a dough mixer. It uses opposing arms, and I cannot remember the name for this type of mixer. Searched some for dough mixer types but could not readily find any that were similar to the one in the video.

http://www.youtube.com/watch?v=_2A-Wj4cG0A

I'm looking for the proper industry term for this type of mixer.

Thanks in advance for any help on this!