Out of curiosity, how much does it cost for you to run this? Not that I'm willing to pay $10k for my own /24, but I find this super interesting.
I just installed a new FTTH ISP at home and learned the hard way what CG-NAT is, after years of having my own public IP with my previous ISP.