Can anyone help me out here? I use my mini dvi port everyday to watch movies on my tv and use it as an extra monitor, recently it stopped working and i noticed one of the gold pins was bent inward on the port, does anyone know of a tool that is small enough to bend it back so i can start using my external display again? Or would it just be better to buy a usb to dvi adapter? thanks