Duh - but what a waste of taxpayer money to begin with...
You make an excellent point, of course. These crappy electronics are extremely overpriced to buy and maintain. They're selling the equivalent of a junk 386 for over $4000 ...