Scotty,
I know of someone who has battery terminal clamps that are hard to remove. The screw and turns when the nut that secures it turns. So, it can't be loosened enough to get the clamps off. There is quite a bit of corrosion around the terminals (not unexpected). How do you get the clamps off the terminal? There is a concern of not stripping the nut as well. Should the nut and screw or bolt be replaced and should it be a certain type of hardware? This seems to be the only issue standing the way of the battery being removed for replacement. It's been jumped a couple of times and driven for a short distance; I don't think it's the alternator.
Use the correct size wrench on both the nut and the head. Use PB Blaster first.
PB blaster is safe on electrical? GTK.
No but it is safe on a couple of battery terminals. If that doesn't loosen them up, you can probably get a loaner battery post puller tool from one of the major auto parts stores. Yes, they make a tool just for this purpose.
https://www.amazon.com/OTC-4611-Battery-Terminal-Puller/dp/B000ZIZ32W
I did use the correct size for the nut. The bolt has nothing to grab onto, it is designed that way (rounded). I hope PB Blaster is safe.