Our (metaSETZ) TLC-8D controller will work with any NewTek 15 pin tally port. With the I/O module you'll get 4 program tallys. You can also use a TLC4S or 8S which are software driven via USB. You may need to do a by-hand install as our new installer isn't done yet (the install directory has changed).
The 8S controller will also be able to be connected to the IP series machine, again we'll have to do a manual installation. The tally outputs are assignable to any bank one input. Combining the two controllers would get you your 12 tally outputs.