How do you feel about the Dolphins naming Mike Tannenbaum director of football operations?