Gearbox fait l'acquisition de Lost Boys Interactive et atteint les 1 300 employés