Nokia's website used to have them.

web . archive . org /web/ 20030805130414/ nokia.co.kr/nokia_apac/korea/catalog_8887_ringtones_prd

Unfortunately, i couldn't find any midi files from there.

Did anybody download these ringtones back in the day?