Hmm...i'm not sure to tell the truth
Do they have a website you could check up on?
I know for sure you can get them though, so don't worry and all the ones you find will be PCI based.
Though I have a sort of round about answer for you:
If you don't want to open that laptop and want sound, why not get an external sound card? (comes in this box which plugs into USB) and these are just as powerful as inbuilt ones, and can sometimes be better because of the way the ports are positioned and so easier to get to.
You then just place speakers in as you would normally and use it like any other sound card on the computer
These might cost more than an inbuilt one, though I tihnk it'll be the better choice for you, so search for 'External Sound cards'
I hope this helps