Damn, Ron Jeremy isn't even rated that high.

Well, we'll find out how many insertions the DigiKey part lasts for. I just got the parts in today and did the replacement job. Everything went smoothly.

Well, as smoothly as it could have. It's time consuming to completely dismantle the player like that, and it takes some care to desolder the old part. And getting everything nicely put back together with the display board and the fascia nice and straight takes a while. The actual installation of the new part took only seconds.

Anyway it works now, the Digikey replacement part number was exactly right. Thanks, Stu!