I stumbled on this tonight:
http://www.ebay.com/itm/New-Windows-CE7-Motorola-MC40N0-Touch-Compu...
This device supports Android 4.1 as well as WEC 7. If I ever come across a used one cheap with WEC 7, you know I'll be snapping it up. Looks like there's still interest in CE among barcode scanner OEMs, and I really like this form factor. And while I can't tell for sure, it looks like it has a higher display resolution than the 480x800 we're growing accustomed to. It's supposed to charge using a standard mini-USB cable, so I'm wondering if it might be sychronizable. That'd be a first among WEC 7 devices I've seen on the market, even though Microsoft has always said that WEC 7 would support ActiveSync/WMDC. Stay tuned.