If Jesus wanted song and His people weren’t doing it, He would just say something like “Tweet! Gabriel, I need you” and the angels would be playing and singing.
No where in the Bible do angels produce music. Doesn’t’ mean they can’t.
If David is available, Jesus might call on him to play.