well i had forgotten that, but I already attempted to import it as playlist in JRMedia Server. This is not the first time I'm doing this. I have downloaded some 50 .pls files and .m3u files from http://www.mikesradioworld.com/
(particularly the Europe site). So, I was able to find the best of the best Internet Radio stations. However many others are not listed because there are thousands and thousand of Internet Radio Stations.
I was able for instance to reengineer (sounds scientific, but is was more of a trial and error method) the m3u file for ABC Love (which also is hosted by radionomy. And I could do so, because about a year ago I was able to download the m3u file of ABC Lounge, hosted by radionomy.
And the m3u file of ABC Lounge really Looks different from the file as you mentioned above. It must resemble like this:http://streaming201....nomy.com:80/ABC-Love
So, it needs a streaming Server mentioned and a port. I attempted to edit this likewise for Costa del Mar, but in vain. That was the reason i was looking for an app which could determine that, hence i downloaded URL Snooper V2
There must be a way to find out the direct URL of the streamer of Costa del Mar, IMHO.