for that kind of price range, i cant really suggest anything.
Might be better if you list what there is available, since most TIG machines are $4K+.
all you really need for alloy is it capable of AC welding, and about 120Amps- but you might be fighting the machinea bit to get good.