Thanks for the observation on the 5 year life cycle.

But if we think of the "education" in 5-year stages: the first is elementary school, the second is middle and high school, the third is college, the fouth is grad school.

So the the "life-long" educational computer budget for each student is $4000.