That is correct. Many, even most, of the Tibetan Buddhist mantras are originally derived from Sanskrit, but certainly not all. I think there has been some evidence published by John Reynolds that the original language of Dzogchen may have been Farsi.