I currently replaced one of our safety processors from MSP430 to RM42. We plan to use MiBADC for thermal-couple instrumentation sampling, the output range of instrumentation amplifier is from 0 to 5V, but ADREFHI is maxed at 3.6V. We might end up with using 4 external ADCs. However, it would be nice if we are still able to use internal ADCs to save up costs and space.