Where is the Broadcom Gigabit 57XX driver for W7 64?

Hi there,

I need this driver for a Vostro 230s, and it is not available on the dell web site, only the 32 bits is provided. So, where can I download it?

And if someone can tell Broadcom that make the network drivers downloadable only if the target PC is connected to Internet is the greatest stupidity, that may help a bit.

Thanks.