Since in all the years mafia has existed, no one else has (to the best of my knowledge) had a problem with the station choice, I would go with the option that leaves things, for most people, the way they are. Namely, a preferredRadioURL or similar preference via your last option.
Edit to add: not that there's anything wrong with gKoL or better about rKoL; I've listened to both, but never through mafia integration.