I am new to linux and this forum. Our lab bought a computer and installed Redhat Enterprised Linux version 4 on it. However, right out of the install, the dvi cable doesn't seem to work and the highest resolution we can set on a 22' LCD monitor is 1200*960. So I am assuming it is a display driver problem. The computer has a Intel C2D 6320 CPU, Asus P5B MB and XFX Nvidia Geforce 7200GS video card. I am wondering which driver should I download to set the right display resolution?

Is the driver in this link the right one to install?
Should I choose linux 32 bit or linux 64 bit for the driver?