Oops, the 12MB gif upload must’ve pooped out. The 1.2MB mp4 doesn’t seem to have.