@J12t Do we know what their budget was, before last month's layoffs?