repair

Today the discover media system rebooted 3 or 4 times within about 20 mins of driving. At the time the nav was displaying and sd card music playing. Thought it might have been a corrupt music file but I couldn't repeat the problem so ruled that out and It hasn't done it again?? Anyone...