Sony also could have let them play mp3s. The last thing you wanted to do with a poorly encoded 128kbps mp3 was transcode it to another lossy format. But nobody was sharing atrac files.