Got my ticket. They've really greased this. I ordered it over the phone. When I got to the theater to pick it up at lunch time (for a 20:00 show), there was one person in line
but I still went to one of the machines. Two screen touches later and a credit card insertion, and I had my ticket and receipts. Doesn't get better than that!