If your player doesn't support ogg, you'd have to get a new one to play them, which is probably out of the question. I'd say go ahead with converting them. It won't sound horrible, but if you have a quality source and speakers it may be noticeable. You can minimize the quality loss by converting to higher bitrate mp3s.