About 250 Disney employees