Time to replace the old Harmony 880. Its buttons don’t work like they used (probably due to the fact the 880 has hit the floor about 100 times in its short life). I’m shying away from the “dogbone” shaped 800s and going with the 720.
Update: Not so fast — just cleaned the contacts inside the 880 and it seems to work much better. Now to figure out a better grip.