Is there a market for a $14,000 super-secure Android phone?