I have a Tp-Link 2543nd flashed with OpenWRT. Works great on IPV6, but I haven't bothered doing 6hcp *lol* I just do static address and have fun with it.
That implies there's an option other than static addressing right now...
On the WAN side.. yes. TSI is still dragging their feet on that.