When you had it at the driveline shop did you ask about replacing the tube? Cutting the ends off and replacing the tube is something they should be able to do. I had a shaft repaired like that a few years back. The cut it, replaced the tube and balanced it. It was not cheap, however it was less...