Does anyone know if HP is at CES this week? That would be an interesting time for an announcement.