The iPAQ K3 is a PocketPC made by HP. The PocketPC has GSM and HSPA on 850 and 1900MHz bands. The device also has an AT&T SKU on the available ID label on the device. In the FCC documentation, the device is being referred to as the iPAQ KB1. The PocketPC will be powered by Windows Mobile. No word yet on price or availability.