Yes
Your summary is correct.
One other thing I noticed, when my Pixel having trouble with SFT1200, my WAN is via USB tethering. However, when I switch to a eithernet as WAN even with IPv6, my Pixel don’t have problem.