Hmm, IIRC they had a surprisingly open streaming API (raw .mp3 stream). Doubt that will be staying. :(

Edit: I see that API still exists at the moment. I wonder how that works with the ads they have running on the website. Do you currently get no ads if you use a custom player which uses that API?