Additionally, you do not need to configure any thing on the 10k to get redundancy between the PRE modules. If 2 PRE modules are installed, automatically one becomes active and other becomes standby.
Sankar Nair
UC Solutions Architect
Pacific Northwest | CDW
CCIE Collaboration #17135 Emeritus