he probably did. haha. but depends on his phone. some nokia phone like mine, you cant delete the orig nokia tunes.. so, not sure what really happened to his..
well, try to go to mobile9.com
you'll find hundreds of thousands of tones there.. you can easily find your tone by using the search function and type (beep2 beep2) ^_^