The ISP shouldn't be using an RFC 1918 address for the WAN port, anyway. For the management net, one would hope they'd use an IPv6 private link. Which should leave all of RFC 1918 available for the customer.