I use a 5.1 michoacan with 8mm beeline on XTC. I think the 5 is a little much, but the 4 isn't enough, so I might try some new, 10mm cordage.
As far as michoacan vs. distel, I use both, but prefer the mich. The one major downside to it is, like the blakes hitch, the half hitch on the bottom causes one small part of the line to take a lot of wear. You just have to make sure to rotate your split tail between each use, if that makes sense.