I wouldn't be so quick to identify this a non-issue, as I guess it depends also on when they travel?
If what was going on with passport control last summer is anything like seasonal, I would not want to be the one betting on 45 minutes being enough.
Other than this, they have two options essentially, one of which is to take the early morning flight out of KSC, and then have a lot more time (5-10 hours) but getting up before 4 to get to the airport on time...
Maybe try and see if you can get them on KSC-WAW-EWR on the dates when the later departs at 17:30 giving a healthy 1:30 connection.