Sound card driver needed?

I am in a bit of a predicament because I find myself in need of a driver for my sound card, yet I am struggling to identify the exact model I have at hand.

According to the information provided by AIDA, here is what is listed under my sound settings:
HDMI
Realtek ALC888 © Intel 82801 IBICH9 - high Definition audio Controller [ A-3

Which of these two options actually represents my primary sound card?
And more importantly, where might one go to locate the correct driver for it?

Realtek is your audio chipset—so you’ll want to grab those drivers here...

http://www.realtek.com.tw/downloads/...&GetDown=false

Just pick the version that matches your Windows setup, download it, run the installer, and you should be all set.