All three building RF antennas (ENV_xxx_RF) are clearly saturated (signals are cut off at 8191 counts).

Since we don't have a knob to adjust the analog side (antenna gain), is it possible to reduce the ADC gain until there is no more saturation?