Doubt the vehicle would have a crash non-synchro gearbox.
Would suggest that the synchro on that gear is stuffed and needs replacement. "Double clutching" is a method of changing gears on a non-synchro box to prevent crunching of gears when changing down. Adopting such a method would alleviate the crunch on yours on downchange.
Ian.