The parts came in on Monday. I installed them and put the washer back together. It took longer than I expected: the video says to just reverse the steps. Very funny (now that it is done!). I wasn't laughing at 3:00 AM but I finally got it back together. I had sealed the tub O-Ring with silicone so I waited until Tuesday night before testing it out. It seems to be working well now. The only oddity was a squeaking noise when the inner drum was moving slowly. It sounds like that is a common issue with new seals and thankfully it work its way out of it. While putting everything back together I had doubts that it was all going to work again and I maybe had wasted $100 (with expedited shipping) and 8 hours of time taking it apart and putting it back together. So far it seems to have been worth it. The repair person had quoted $800 for the repair I think and a new washer would have been about the same. Plus the hassle of figuring out what to get, buying and installing.
A lot of people have had bad things to say about the Samsung's, especially the spider corroding. I saw no corrosion on ours after six years of use. The thing I don't like about the spider design is that there are a lot of channels in it where stuff can accumulate. I cleaned this one out and it seems completely fine. We have only used HE detergent, mostly "natural" detergents like from Seventh Generation. Also vinegar to clean it out periodically. Not much bleach ever. Maybe it is the bleach that is causing other spiders to corrode.
Anyway, thanks very much for your help and bearing/seal kit.
Steve