They leased the majority of a mixed-used building in downtown Austin that would've been 500k sq ft, the largest tenant by far of any company in the city. They quietly backed out of that. ($20M/mo easily) The most expensive part would've been staffing it: $20-60M/mo depending on the type of staff.