this is a rather easy decision.
If he wants to overclock DFI, if not then go with MSI since they are just an overall good reliable stable board...not that the DFI isn't of course, but theres no point in all the advanced options the DFI is sporting if he'll never use em