14Oct20: Does Andy want to play?

I guess not.