Yeah...what kind of printer was that? my is a home printer with the FFD method. its cheaper and without a dual extruder its impossible to get more than one color there is another method which used ABS powder which costs way more. maybe they used a printer like that.
It was a large Dimension printer with 2 heads and a 10x10x12" print volume, with one head printing regular ABS plastic for the actual model, and the other head printing out support material for the model out of dissolvable ABS plastic.
We had to toss our models into a bath after they got done printing and it would eat away at the support material.