@jimsalter I'm not looking forward to you having to troubleshoot it, but I do appreciate you talking about it - technical hands-on experience with how ISPs treat folks is valuable.
If you wind up asking them for a public IP address, fingers crossed there - it looks like it might be a $10/month charge..?