It is in slot 3, or it was the last time I actually looked inside the case... so I'm pretty sure it is still there.

I also know the kernel is booting in 32 bit mode, and the drivers are installed.

From everything I can find / see in catalyst, the card is working, it just doesn't seem to like the signal coming in. Are there different HD-SDI standards, or is HD-SDI always just HD-SDI?