Much obliged for everyone's response. I have settled with the seller on ZAR 10 000, which is roughly US$ 1150. Given the scarcity of these things in South Africa, I reckon I'll regret it later if I let it pass. The cost of importing, and the difficulty of doing international business in such high value items, makes it a very last resort for me. The previous owner was a collector, and I doubt that he burned film through the camera. I may get ZAR 1500 for the one 135mm, and I think it may make sense to sell as a kit with the older body. Anyway, thanks again for the advice - it enabled me to get into a region where I feel confident of fetching a similar price if I need to resell. And I will keep eyes open for that 105!