Also, if he doesn't go through the formal visa process and tries to do his summer internship with a visitor visa, he may be banned from the US for 10 years. Given that he's publicly publicizing coming to the US to work, it would be very easy for USCIS to block his entry into the US.