Well, the install is done, but it was a lot more hassle than I'd hoped.
The first problem was that, even though I left the PC running "full bore" until just before I turned it off, and got right into trying to remove the old heat sink while it was still hot, following online advice, I tried to...