When and how do _you_ decide when it's a good time to interrupt a dev on your team, though?