Yeah.
Btw, what kind of rar did you use for uploading yours? Lucky! It was only 30MB and could convert it to zip online... WinRAR 3.51 cannot open it. I came across those kind of files but never had a chance to ask about it.
Winrar 6.11 64 bit version.
It seems that it can be extracted with 7z as well. I do not have a newer winrar, so that will do. Thanks.
