O Cisco IOS NAT pode ser usado com o protocolo Hot Standby Router (HSRP) para fornecer links redundantes para um ISP?

Sim. NAT does provide HSRP redundant. No entanto, it is different from SNAT (Stateful NAT). NAT with HSRP is a stateless system. The current session is not maintained when failure takes place. During static NAT configuration (when a packet does not match any STATIC rule configuration), the packet is sent through without any translation.