Like most large organizations, that's not something NASA tracks.

You can be sure that somebody in management hit their budget through that maneuver.

I used to work for a software company with developers that cost $200K a year (salary + benefits + stock + etc.) and were willing to do extra work if they only got $2500 laptops, but the company wouldn't do it. Somebody probably got promoted for that one.