I think DDR400 modules are indeed correctly clocked, ie. they're not overclocked DDR333 modules. True, it's not a standard yet, but as long as it works in the board, that doesn't really matter.
Yes, there's an equivalent but slightly less well equipped Gigabyte board. The MSI board got a good...