Herminio, thank you for pointing me to this:
I noticed this post linked from the FAQ:
Unfortunately, after that I cannot find a dsc file that is supposed to be used in compiling the driver. I think I need more specific instructions than the post provides. Can anyone please give me some additional info? Thank you.