They can always use Corman, Lispworks, or Allegro, I presume, if they're not going "all in". For class or experimentation, that might be what they're looking for.
[Going off on a tangent, there seems to be a new Emacs book on the market.]