In general, Yes, Bards should be using songs. But in all fairness to King Sora there, if not one but both WHM ran out of MP on a HM primal, the party had more problems than just a mana song.