I don't know the source of the music, but from the sound of it, I'd guess that it is stock background music, probably royalty free. Think of it as the music version of clip art or stock photos. It's pretty commonly used by video editors and for this type of work, they probably don't want to go...