It does look like a TCI but I've noticed others use the red plate as well. John Cope's are red too. Want to make sure I set the trans up correctly to match the manufacturer's instructions.

Also, is there an easy way to tell whether it really is a reverse manual?