Can anyone tell me what the  top level part number is for a 3845 ISR router to have both an AC and DC power supply? I.e. an AC primary PSU with redundant DC PSU or vice versa. Assuming this is actually possible, which the 3800 Q & A suggests is possible.