Sounds like you dodged a bullet there, great that you got all your money back. I can find lots of nice minute repeaters on the net, what I cannot find is the money to buy them. I see them for sale saying "freshly serviced", and I wonder. Well for a start, how many people are around who could service a minute repeater? Secondly, cost, it would cost at least £500, say $700 for a service and thats assuming you can find someone capable of doing it. Keep searching, it`s out there somewhere.