Here's a video (with sound) of one of the other chord changes. It didn't occur to me they'd just swap in a pipe instead of pressing a key on a keyboard.

https://www.youtube.com/watch?v=_3BBgQPuPI0