Beh le ultime 3 che hai elencato vanno bene. Quando sono "mac edition" vuol dire che non avrai problemi, si vedrà la schermata di avvio e potrai utilizzare i tasti all'accensione vedendo cosa stai facendo.
Essendo roba usata devi avere un po' di fortuna perché possono essere schede che hanno già lavorato tanto.
Se non hai bisogno di prestazioni particolari io scarterei le più costose, non ho guardato i prezzi ma una Radeon HD 7950 può bastare.