I don't mind at all if you use it, but I have the file on some other computer right now. If you can use the one which is on the page, feel free to do so.
I'm sure any flash developer could make you something similar in a few hours, if you need a custom one.