Hey Kevin S.! My experience has been a mixture of everything you listed.
In my last role, we were considering using an actual customer of ours (Speakerbox Media - they are amazing). But our demand gen team was already using a company (I wish I could remember their name!).
If you’re trying to save on budget, recording on Zoom and having AI edit it, would be a good route! You could have the customer use a personalized Zoom background so it's clean and presentable.