That certainly has enough power (13.8V DC x 5 Amps = 70 Watts) but for $55, it is somewhat spendy at about 75 cents per Watt.
Here's a 90 Watt DC adapter with selectable output voltage for about $10 of eBay (free shipping from US seller). If you don't do eBay, these universal laptop charger replacements are widely available. For these widget I expect to pay about 10 cents per Watt.
Obviously, if you have a spare Z-500 (50 Watts) or the like sitting in the garage gathering dust then by all means use that as GRJ suggests. But if you are buying a new power source for TIU AUX, I suggest a DC-output adapter. Here's a photo from an earlier thread. As i recall, the AC-output brick will also set you back ~75 cents per Watt.