Exactly right! We could totally try to get a similar intro animation in other ways, but we were pressed for time. I would love to do it using elements right on the page.
The main goal with doing it this way was to make sure it worked with mobile devices that don't autoplay videos inline on a page. This method required slightly larger file sizes, but it seemed worth it!