Looks like we don't.  Checked it too.  _pick_random_mon() only returns the name of the randomly picked monitor.