If anybody's interested, the song used as a main title in the international version is called Devil's Gun:
http://www.youtube.com/watch?v=LojkS7FIzcg
It's used in Randall's THE REAL BRUCE LEE too. About the horror music that plays whenever the croc appears, it is heard in another film? I'm pretty sure everything you hear in that version is stock music.