And for $130-200, they will replace your top-case (including keyboard and touchpad). I have had it done more than once and it was a same-day turnaround each time (couple of hours).
I wonder if there wasn't something more wrong with his laptop caused by letting a worn-out battery sit in there too long.