Stumbled across this today.  The 64bit IE and MSDN download manager now work nicely together.  Initially only 32bit IE worked.  I'm not sure when it changed but thanks.