I have a 2009 Genesis sedan which has started having an intermittent problem. When I start it sometime (but not always) the satellite radio will not be playing and an error message to check the antenna will appear. Once the display just remained dark. On a few occasions the radio started playing on it's own, but, usually the display will be there without any sound until the car is shut down and restarted. I have also noticed the seat adjustment program is forgetting it's settings and the seat has to be manually adjusted every time I start the car. About a week before this started the trunk was left open for a weekend and the battery ran down and had to be jumped to start the car. The battery is original and car has about 80K miles. Could these problems be caused by a bad battery? I welcome any suggestions as to what might be causing this electrical problem. Thanks in advance for any help.