Jon Parker presented the following explanation :
I do have mains power in the garage. I will look into this solution, seems to
be neather than my proposed solution!

No need for a battery then, just a 13.8v SMPSU and only if you must
have the 12v. Why not look at a small 240v compressor?