I hate to sound like a broken record, but I have run into this before. I would think that either slapping in an inexpensive PCIe serial card, or if your motherboard has a serial header, a $3 serial bracket would be worth a shot.
If your computer guy is monitoring this thread, he is welcome to...