Sram red axs HRD shifter - where can I find one?

Oh, so you have 11-speed Red, not 12-speed Red eTap AXS? I am quite sure the hydraulic brakes are compatible, but I am not sure whether electronic shifting will work. Good catch. Perhaps you can reach out to SRAM and ask them.