People work with individuals they don't like everyday. I know I do and I'm sure they would say the same about me. For the good of the company and the task at hand, we put that aside and work together.
Gotta believe Tim is more mature than to go around using the "I don't like him" or the "He hurt my feelings one time" card. My 6 year old has gotten past that stage. I would think a 36 year old would also.