All right, clarifications:
1) I had no way to contact the technician. No number, no card, Dish wouldn't connect me. What was I supposed to do? Flip through the white pages until it magically hit me?
2) I put it back, exactly as it was (except for the cable change that I had to do, obviously...