I'll step out on a limb and say that given their annual budget of almost $3B, they have a technology person or 2 on staff.