Non-commercial radio stations include NPR affiliates KUOW-FM 94. What radio station is operated by the public school system