I think it was right after they released his name, probably somebody else checked 45 minutes later.  My guess. What's more interesting is his friends with the last name Liu, Ted Lieu is from Ohio, I wonder if there is a connection.  Interestingly Ted Lieu clerked for the 9th Circus, which explains a lot. https://en.wikipedia.org/wiki/Ted_Lieu