[tde-users] TCC Device Manager