Glad I have the option of a local enthusiast-run ISP. They’ve been operating for 30+ years and had zero problems getting me a static IP for a whopping $5/mo on top of the standard price. I can even get a real-life engineer on the phone within an hour.