Without well designed empirical studies, mathematical models are an important way to use data on needle infection for inferences about human infection. We develop a model with explicit behavioral foundations to explore an array of policy interventions related to HIV transmission among IDU. In...