Batch Minting Video Work around?

I am working with an artist to mint 172 different six-second videos. I would love to make the mint as efficient as possible. I was going to use batch minting, but I just noticed that video isn’t supported.

Would it be worth it in gas savings to first batch mint with images, then change the metadata to a video after minting?

Thoughts? Tips?

Thank you!