Here seems to be the stations in JSON format in case anyone wanted to extract them. There are about 12,000 but some of the stations at the end don't have a source. http://rgapi-60c3.kxcdn.com/live.json?b=89eae48362c03fe07fcc
Has it been HN'ed or what?