I can verify that the Librem 5 does not work with Verizon, despite supposedly being able to access band 13. The people at the Verizon store tried really hard, but it does not work. I ended up switching to AweSIM, which worked just fine until the third-party issue.