If I read it right, the 4B ballpark figure is based on total annual per employee cost of 500k * 8000 employees, so the figure is actually 4B/year. 20B over five years.