From the Minera Panama/Inmet website: 14,700 on average, during the construction of the mine. 4,800 during mine operations. 4,800 is probably a lot of people for that relatively unpopulated area of Panama. I would just guess.