Fair enough, although I’m using the opportunity to upgrade and attempt to switch to Linux. And probably replace an older desktop computer with the old laptop (with a USB keyboard attached).

But yeah, under different circumstances it would make sense to buy a keyboard from eBay and attempt a repair.