To ST98 - my $.02 would be to get the winch that's best sized for the tractor you now own, not the tractor that you think you may own in a few years. If you get that bigger tractor you can always sell the winch and get a bigger one - they seem to hold their value better than most attachments. In the meantime, you'll have the right winch for the tractor you're using.
If 6500# won't break the log loose, you can always double the pull by hitching a snatch block to the log and anchoring the free end to a tree along the line of pull. Now you have a half speed, 13,000# winch that is only putting a 6500# load on you tractor - the anchor tree takes the other 6500#. Once you break it loose, attach your line directly to the log and pull at full speed. If you find you're bogging down with debris in front of the log, you can try using a skidding cone.