Once again, you were right! Sadly, I didn't see this until after I went through a lot of guides :-? But! I got my headphones working (ALC887) due to this guide. And thanks to the HDMIAudio.kext, my hdmi audio works now. I have 6 choices for audio:
Headphone port
Audio line-out port
Audio...