What To Do When Your Timing Belt Breaks (Extended Version)