Does somebody know were I can find information or a manual for a jobotronic 4010 (I think that 4010 is the model for the timer)?