It would make sense for this case if Winamp did save the file then play it - that way it gets the ID3 tag information [if its not provided up-front in the stream].

My only question/comment would be - does Winamp delete the file when its done with it - if not then your hard disk will fill up with [copies of] all the mp3s you listen to from the Receiver Manager software.