I bought the WiFi+4G model. Before I go out and get a SIM card, will 4G (data only) work with DebianTP2? Will cmst allow me to connect to VZW in the US?