Your friends best choice for features, performance, reliability, and value is the Abit IS7. The 875 chipset offers no added features that he'll need.
The IS7 is perfectly stable at stock settings. The fact that it can be tweaked for additional performance is a bonus he might not use, but since this board cost around $100 and is stable stock, it's a great choice.
<font color=blue>Only a place as big as the internet could be home to a hero as big as Crashman!</font color=blue>
<font color=red>Only a place as big as the internet could be home to an ego as large as Crashman's!</font color=red>