I am looking to purchase a hitch mounted winch cradle and wondering about the appropriate size winch to get. My truck is a loaded up (tools and stuff, not trim!) 2011 F350 crew cab short box diesel, so it is quite heavy. If I was permanently mounting I would definitely be going 12k minimum...