Fast k+ current, adapted from kdr current in herzog et al. (2001), model no. 86537, with different parameters and kinetics. Paper also cites bostock et al. (1991) as source of channel kinetics and parameters. Animal model is from experiments in paper. Channel kinetics are adapted from previous model of mouse spinal sensory neurons.