And since the consumer device hasn't yet shown up in FCC, does that then mean that it won't get a US release?