I called myself out. I was already editing the post after I did the math and saw July 4th was the 20 day date. I estimated some time after July 1st ("July 1st or later") is what I originally said because I thought he would re injure himself. I just was more specific after I edited and figured if he hurts himself again, coming back after the All Star break was a nice overly pessimistic view in line with my original post.