To go along with what Hot Rod Lincoln stated in his post, we are in the process of sourcing tires now. The 56 has tubeless rims, so that is a real plus, but 9r22.5 tires are still not plentiful. We have sourced a set at a local salvage yard, but they are still going to be $400, plus having them mounted on the correct rims. In fact, we were there a few hours ago, and it is clear that I will be needing my torch to get the lugs off. That said, I think it is worth it as the 6400's are pretty cool.
Steve