According to Pocketnow, the HTC 7 Pro might be the first WP7 smartphone for Verizon. The device was previously launched under Sprint as HTC Arrive.
Pocketnow comes into conclusion on this matter accordong to a gaming site that
tracks and publicly displays several phone operating systems along with
some unknown model numbers. In the list there is a device model number
called MWP6885 and it is linked to a file labeled
PC93-1.0.xml. This conclude the final result because the PC93100 was
designated to the HTC 7 Pro.