Você não mencionou qual distribuição está usando, mas se eles a instalaram via yum em uma distribuição baseada em RedHat, você pode remover com:
yum remove mysql-server
Se eles o instalassem em seu próprio espaço de usuário, você removeria apenas os arquivos binários que estão executando o servidor. Se estiver no Debian / Ubuntu você usaria as faíscas do método mencionadas. Eu também usaria alternativamente:
killall mysqld; killall mysqld_safe