>ip nat inside source list nat interface FastEthernet0/1 overload
>ip nat inside source static udp 192.168.0.12 500 80.93.XX.XX 500 extendable
>ip nat inside source static udp 192.168.0.12 4500 80.93.XX.XX 4500 extendable
>ip nat inside source static udp 192.168.0.12 1701 80.93.XX.XX 1701 extendable
>ip nat inside source static tcp 192.168.0.12 1723 80.93.XX.XX 1723 extendable Прокинуть отдельно GRE нельзя, можно только весь IP:
ip nat inside source static ip 192.168.0.12 80.93.XX.XX
Соответственно публичный IP будет целиком занят под эту цель.
Или смотрите в сторону других протоколов, l2tp например.