I recommend you buy the card I did off of ebay, referenced in my prior post.

It will work with no stress and performs well. Most importantly it is the only card (thanks to Andreas for pointing that out) that you can boot to firmware so it will be the easiest way to go.

Keep us posted!