>BTW: Do you have the logo as a vector graphic file? If yes, how about posting that one as well? Vector graphics can be scaled easily without much loss of quality.

No, but as I said in the other message, you may save it to JPG and then resize it. That'll do the same and will be much better than resizing it from GIF.