In case this happens more often, may anyone with that issue try to find out what the root cause is? Maybe this could help several others by doing some additional regular maintenance steps. And maybe it will help yourself to prevent this happening the second time?