One thing to watch out for with any machine is that they are all - machines. In a world obsessed with extended service plans it is easy to overlook the fact that machines need service and occasionally break down. This requires near constant care and maintenance, as well as a willingness to pop into forums such as this one to post questions and concerns, as you have done.
You've done well by asking for opinions. As for the AT Pro once I figured out what my machine was doing it has served me well. The coil failure, while frustrating, is hard to assess. Do you use a coil protective cover, or was the problem initially electrical? Defects and manufacturing errors are seemingly a way of life. That may be why so many Garrett owners speak highly of their maintenance policies as well as why "extended service" plans in general are so popular. I have always figured that a product's reputation and warranty should speak for itself. After all what we're really dealing with are product specifications, like mean time to failure and mean time to repair. Why does a product need an additional outlay of funds if it is properly designed and built in the first place?
In any event you are well along the path to making a choice. Whichever brand and model you select, in the final analysis ongoing care and feeding will be required. When you select your machine, be sure to take the time to learn it well. And be prepared to deal with its idiosyncrasies over time.