The best modern one is certainly the 77ltd.
But thats out of your budget.
Its one of the best to me (FA77ltd)
Superb build, very sharp, very small and handy, nice drawing style and rendering (not just plain smooth, but a good edgy/smooth that keeps things interesting to me)
The Samyang 85/1.4 is cheap, 85mm and f1.4 (nice rendering too)
Its also big and less portable imo, not as 'generalist' a lens as its best is at f1.4-f2 and I find that its rendering is too plain_nar...
Worth considering though imo as long as you are aware of its pros and cons.
J9, can be great.
Fantastic sonnar rendering that is less common nowadays, esp for SLRs.
Problem is finding a good copy (or end up spending $150 a few times to get one, in which case you might as well have spend $400 to just get a safer buy like the K85)
J9
K85
The most reliable of the f1.8-2 Pentax 85mm.
Reliable as in no PF, sharpest, good bokeh in almost all situations, pentax style colors and rendering.
Also not too big.
I'd highly recommend it.
But price has been climbing.
K85
M85
Nice and small and cheaper.
Bad thing is the weakness to CA and hazing in some situations.
But when it does its job, its a nice drawing style (and some glow) and its so small like a 50/1.4 that all can be forgiven.
I take this lens out a lot.
Tak 85/1.9
I won't discount the slower Tak as well.
IMO, its only 2 weakness, a bit bigger than the others and bokeh can be a bit more busy for some bkgnds (usually linear stuff)
Look at 100mm, 105mm and 135mm options too (you already have a 135/2.8)
The K135/2.5 is not expensive and a great lens.
All photos taken on FF digital.
I'd also add that there isn't any wrong choice in any of them.
They are all sharp enough from wide open and a joy to use.
What sets them apart, size, price, rendering preference.