We have factory Warn winches on a couple of machines, and we added a front receiver hitch for a portable winch on another Tucker.
But, here's the thing, all of these machines are earlier generation Tuckers ('79, '80, and '86 models) and they weigh a lot less than your Tucker. My initial thought is that your much heavier machine would need a commensurately larger winch, and I'm not sure how "portable" a 12,000 or 15,000 lb winch would be. ( I have a Warn M 15000 on my pickup and I'm pretty sure it's well north of 100 pounds without any mounting hardware.) You might also have to fabricate your own winch carrier as I'm not sure the available ones are large enough or rated for such a heavy duty winch.
Good Luck!