Thank you for the suggestion. I may end up doing that. As I understand, they don’t always have to credit an artist if they only use a limited duration of their music. And it seems they only play 5-10 seconds of the song I’m looking for (both times they use it, it’s the same section and length).