I have had to buy stuff out of country before, so it can be done. You don't have to be lucky, you just have to not be unlucky...
K3- latests greatest.
K5IIs - better IQ than K-3 (more dynamic range) unless you really use the full 6000 pixels wide sensor of the k-3 for cropping etc.
K-50, nice little camera, not all the bells and whistles but still super IQ.
The less you spend on your body, the more you have for lenses, so I'd probably go for the used K-3 if I decided to go the K-3 route. I bought my K20D with 4,000 actuation, put 40,000 actuations of my own on it, gave it to my sister, and it's still going strong. That was 6 years ago. But also consider going with the cheapest body you can find, K-30 or better, and upgrading your glass if you don't have anything special. You didn't tell us what lenses you're aquired, so we're kind of in the dark here. Sometimes the body is the weak link, sometimes the lenses are the weak link.