The children have a number of their own ["CDs"] and can use the simple commands "cdplay" and "cdstop" to start and stop playing. Although a number of gui-based players exist, it just seems simpler to use this tool.
See also:
http://packages.debian.org/cdtool---- http://bugs.debian.org/cdtool