When I was there in May the $7 tix were available at the currency exchange located immediately outside International Arrivals (in other words, the one AFTER you claim your luggage and exit through the doors). Not sure if this is still the case, but if so this is another option in addition to the new machines.