Definitely the way to go. If ya wanna do it yourself they can get part heck they may even tell you how to do it as well. Though might be cheaper to send to them, if you don't already have the necessary equipment to replace the port with
Done this twice on my 8100. Orderd the part from ebay (5 USD) and took me an hour, to dissasemble and install. But then I have been soldering since I was eleven
Did you have any problem connecting usb to computer after you repaired the usb? My usb port was toasted and had it repaired. But now when I connect to the computer, it doesn't recognize it. What do you think the problem is?