Mine came back after a slight line-ream, and it is easier; but it is not like those YouTube videos yet.Got the tractor back from the dealer last Thursday. Boom lock works now and a quick test showed that both pins will come out easily. I don't know what they did but at least it works now.
All things considered, the toughest part really is in putting the three-point hitch back on.