Very good solutions as usual for you, practical as well.
You've already made your choice, so won't do you much good, but for the small profile "high tech" battery, if on road replacement is a concern they are frequently available at UTV/Motorcycle dealers as well as some mid size tractor dealers. Wouldn't be cheap, but an alternative.