Yes, if I understand what you described this is supported and should work fine. I have that type of setup in my own home lab with multiple MX appliances behind he same NAT and all AutoVPN'd together. The VPN Reg and devices themselves are fully aware of both public and interface addresses and src/dst ports and the tunnels should form without issue.