I have two distributors that are available.
A VJ4BR25 which has the exact same curve as the 010 (0 231 129 010) in stock and available today. It's $175 not including tuneup parts or shipping. Here's a pictures of the actual distributor.
I also just purchased a Bosch 010 (0 231 192 010) core and will have it available in a week or so. The price for the 010 is $200 plus tuneup parts and shipping. If you are interested, i'll contact you when it's done and you can make your decision then... no commitment.