Does Device Doctor automatically download 64 bit drivers

[Thomas]

I think some 64bit drivers have 64 as part of their file name. But it's also common that there is one driver installer no matter what the Windows version is. (For example audio driver for HP notebooks that I have just been checking has same file no matter whether W7 or Vista and no matter the bits).

If you need to be 100% sure, you'll have to download the drivers directly from the websites of the manufacturer.