I'm not sure about pricing, but I'm pretty sure I wouldn't spend 10 grands, so I'll give you my list and be done... (* are those I do own)
-WR kit (yes! it's compact and thus perfect for hiking)*
-DFA 100 mm macro WR
-Pentax 16-50 mm
-Sigma 17-70 (love this one)*
-Pentax F (or FA) 50 mm f1,7*
-Pentax DA 55-300mm (the FA 100-300 f4,7 which I own would do)
-Pentax 50-135 mm
-Pentax 60-250 mm
-Pentax DA 21 mm LTD*
-Pentax FA 43 mm LTD
-Pentax FA 77 mm LTD
-Pentax M 150 mm f3.5* (so fun to use!)
-Vivitar series 1 70-210 v3 (or v1, that would do)
I'd complete the list with long Pentax tele primes. And count myself happy.
As you see, I actually own quite a few of those. So I'm not that far from my dream kit.
And I'm happy