The Tippmann is a copy of the 43 Spanish roller, hence the larger hammer spur. I thought the same, then did some picture research, many of the Spanish rollers had longer hammer spurs....but not quite as long as the Tippmann.
It is very hard to find any reports of the Tippmann in use, at least from what I can see.