Does anyone know what sort of tender the WDW arcade card machines take (namely Disney dollars or Disney gift cards)?