I think any Warn M Series (8K/12k/15k) will be a bolt-on fit, with the re-clocking it is. I run an M8000 on my 4Runner's ARB and it fits like a glove.
On a side note, I'd run the M12000 though, considering the weight of the 80 and other factors. If you decide to do M8000, just make sure you keep a snatch block or two handy.
This, and I'll add that i believe the Warn 16.5ti will bolt in without issue as well. I'll find out next month when my ARB arrives.
