3500/4000# is plenty for these machines imo , even at 2000#'s- I just look at carrying the extra weight\expense for something that is used 1% ? of the time and really not needed
if its stuck in the mud, that suction is a horrible load, if you have to go to a tree or winch from other anchored machines, its not a biggie to add a snatch block and double back and double the pulling force, etc...
watched way too many matts offload recovery videos in the last year, learned a ton about stuck vehicles
waiting for scud to be launched