I don't know if there's a ringtone already made of it, but I'd imagine an mp3 file of that sound effect would work just fine correct?
If so, I could rip the audio from that video for you and upload it in a jiffy. If mp3 isn't the right file format for you though, then could you tell me what file format would be suitable?