What if you made the student program just call into something that makes its own GUI? Escaping the environment that DRacket set up comes with additional challenges (like coping with buggy programs and aborting them properly, etc.) that it would be nice to avoid.