(DG) e7 card reader problem

[mraphael]

I performed the reset and the system seems to function correctly now. It recognizes the card in the reader and boots up normally. Now my question is: is this a symptom of some deeper issue that may resurface? I am going on an extended cruise in June and would hate to have the unit fail in the middle of that trip. Would it be worth sending the e7 in to repair to have it checked out, or is it likely they would not find anything since it is working normally right now?