Interestingly, it turns out that the protocol=gre option is only available through CLI. From the WebGui, you can only choose among all, egp, ggp, icmp, igmp, ip-encap, ipsec, tcp, udp. I modified the entry according to your suggestion (via CLI - and the config is properly reflected on the GUI too), ...