We are actually using the 12 bit converter baked into TM4C129 series processors. Time to get a value isn't a concern so I'm using the maximum sample and hold time and have the ADC averaging 256 samples so I'm expecting pretty low noise. I'm throwing away the bottom 4 bits in any case and linearity and offset are of the order of +/-3 LSB so we should be good.