I'm trying to investigate a few machines to see if we should be paying for CS support. Unless someone speaks up, I'd like to discontinue CS support for lego.auton.cs.cmu.edu. -Jacob