I play flac files over my network, so yes, they're stored on a hard drive.

Of course, if you want the mp3 format, software such as JetAudio can create an mp3 file from a flac file. I do this to load my player.