What would be better?
Between lead acid and AGM? AGM of course...but in this case...one of the advantages of AGM batteries over lead acid is less weight...a factor on a moving machine...not in a solar bank.