Rob Shop timer, sync on PAUSE

FIxed #86, shot at #77. Also note that #158 and #182 should be fixed and #145 needs reevaluation.