Was a left handed 725 a factory option? What a neat gun.