Did Micheal Johnson aka Doc Tiny 7 foot from South Dakota ever play for the Dallas Cowboys?

According to Pro Football Reference, the Dallas Cowboys have never had a player named Michael (or Micheal) Johnson on an active roster. In addition, according to the same reference site there has never been a player from the State of South Dakota named Michael (or Micheal) Johnson in the NFL.