I told this story on Twitter just now, and after much searching discovered that somehow I have never told it on the blog. So:

https://twitter.com/nfinitefreetime/status/1387877274247213065?s=20

https://twitter.com/nfinitefreetime/status/1387877577751252995?s=20

https://twitter.com/nfinitefreetime/status/1387877881146183687?s=20

https://twitter.com/nfinitefreetime/status/1387878152639242242?s=20

https://twitter.com/nfinitefreetime/status/1387878386337554438?s=20

https://twitter.com/nfinitefreetime/status/1387878715229671429?s=20

https://twitter.com/nfinitefreetime/status/1387879090905047047?s=20

https://twitter.com/nfinitefreetime/status/1387879831103283204?s=20

I gotta drive to Bloomington now. Back tomorrow.