Thanks! Spot on. For embedding in the site, we used a lottie animation with the lottie-web NPM library. As for the lottie animation, I worked with a contractor on fiverr (this is him: https://www.fiverr.com/meerazzum?source=order_page_summary_s...). Would absolutely recommend him. I gave him a sloppy figma mockup and he brought it to life.

Let me know if you have more questions.