This guy is selling a TAFG for €8000, if it's any help. You might be able to get him lower.Im looking a while for this one. But i can pay max 8000euro or trade with a restored Cactus Canyon.
http://www.pinballowners.com/evelyn#191770
(I don't know him/her so can't vouch, just had an initial conversation where price was discussed)