Ok, never mind. After changing my settings to those of Wojciech's, the sound still didn't work. I booted the system with a Fedora 7 Live CD and tried playing some music, but I didn't get any sound out of it then, either. It looks like the card on this Thinkpad has died. Shame, too, I just unboxed it three weeks ago. Thanks anyway!