Samsung Vibrant :: NO 64-bit Drivers - No KIES

I just finished dealing with Samsung Technical Support. First, a lengthy session w/ online Chat, ending with
"Diana: I am sorry, but we have reached the limit of our technical knowledge on this product. I am sorry,we at the chat support provide the basic troubleshooting information for our products,our agents in the voice support provide the next level of support for further assistance.
Diana: I suggest you to contact Samsung Technical Support at 1-888-987-4357 ...."

So, I went to online phone support, and was eventually told that Samsung has no Kies, mini-Kies, or any other support software for the Samsung Vibrant in with 64-bit computers (i.e. computers running Windows 7 in 64-bit mode). I assume this means that the 32-bit software works fine, as most 32-bit software does, but the hangup (no phone pun intended) is in the drivers. That's why it choked when I connected my phone and it tried to install the drivers. Can't use the software without the driver, and can't use the 32-bit driver in 64-bit windows.

Before online phone support told me it was impossible, she did send me to this page, to do a download of mini-Kies: http://ars.samsung.com/customer/usa/jsp/faqs/faqs_view_us.jsp?SITE_ID=22&PG_ID=2&PROD_SUB_ID=55 7&PRO...

I don't know why she thought the one Samsung makes available when someone clicks through their support links was not good enough, but she was very definite she wanted me to use the other one instead. Here's the general Vibrant support links for downloads:
Samsung
from:
Samsung

Incidentally, while I was getting Online Chat support, I was told:
"Yes,it is compatible with the 64 bit windows also."
She also said that the full Kies (not just the mini-Kies) would be made available for the Vibrant, but since she was wrong about the 64-bit, ....

The phone support person did tell me that Samsung is working on making it available for 64-bit, but had no idea when that would be. She said, loyally, "soon."

I wanted to use Samsung's Kies software to connect (tether, with the USB cable) my phone to my laptop to use as an Internet connection. Now I can't do that until either (a) I find a 3rd party app that does this, or Samsung gets around to developing 64-bit drivers.

Anybody have any experience with using any 3rd party apps to tether to a 64-bit Win7 computer, for Internet service?

As I think about it, I think there's no excuse for Samsung having wasted so much of my time before telling me it was impossible. The pages their website lead me to said nothing about it working only for 32-bit. The software did not check to see if I had 64-bit and warn me it was fruitless. Online tech support said it would work with 64-bit. The page the phone tech support person took me to did specify 32-bit. Only then did I find out that I'd wasted all of this time. My time wasting was increased since I worried that maybe there was some problem with my laptop, so went through the whole process again with my desktop before trying to deal w/ Tech Support.