Thanks Barb, I have watched the video of changing one of those batteries and even though I am fairly familiar with the inside of a computer, I don't think it is actually user replaceable.
The authorized service mentioned in the specifications is something I have no experience with. I suppose I will look for such a place and see how much they charge.
I seem to have the impression a system swap is the preferred method. I would not be willing to "swap" one of my systems so that option is off the table.
Thanks again.. I will look at your links.