Either the A1 mini or A1 will serve you proudly.
I have owned both, I still have the A1 mini, but the A1 went back due to the recall.
I find it particularly easy to use for TPU 95A, the TPU for AMS is great for my bigger printers, but true flexibility is great with the 95A.
I would still consider grabbing an AMS lite, this way you will not limit your choices when it comes to truly benefiting from the second printer.
The A1 mini can also benefit from the SwapMod. Ideal if you wish to turn a small printer into a true workhorse for smaller parts.