New
#51
Hyundai used to be a "chaebol" (Korean conglomerate), but apparently that broke up in 2003. (Wikipedia, again.) I'm unsure whether any of the fragments still make PCs. (Probably not. Margins were low even before the current PC market decline.)
I haven't any recent experience with HP. My former employer used Dell for as long as I was there (2001 on). I'd expect HP to be competitive, and a quick look at their web site shows that they sell $1k desktops with Gen 6 Intel CPUs. If you're getting older tech, I'd blame it on the purchasing people at your agency, or at least the rules they are forced to work under. Even at my former employer, some things were routinely purchased that made no sense. Example: if you needed a new monitor, they could hand you one from their stock. It was a 22" with a 16:10 aspect ratio: 1680 X 1050 pixels. I didn't know that Dell still made those. (Maybe they don't, and are simply dumping old stock. I would have much preferred 1920 X 1080, as I used software that benefitted from lots of horizontal pixels.)
The Japanese had an analog HD TV format years before the all-digital US HDTV standard. It required more bandwidth, which I suppose is one reason the FCC didn't support it. Another reason may have been to give US manufacturers an advantage. If so, it was a waste of time. AFAIK, there have been no US TV makers for at least a few years. (ABC TV had a "made in America" feature where they stripped a family's house and refurnished it only with US made stuff. No TV.) RCA is French owned; I don't know who owns the Westinghouse name. Neither makes TVs in this hemisphere, AFAIK.