FWIW, I searched for all passengers arriving in NY on the Kaiserin Auguste Victoria in Oct 1907 with Austrian/Polish/Ukrainian/Hungarian/Ruthenian ethnicities who's first name started with "Mi" and were born between 1882 and 1895 and didn't spot him.
I'm not sure I 100% believe the day of the month is accurate, but I'm not sure how much weight I should put into the ship names he listed, as well as the month/year listed.