Thanks Tony and Jez, will take a pass on them.
Have tried to buy classic ARs (3, 3A and 4) a few times, but have always been outbid. The price of nice-looking survivors with original drivers from the 1960s has gone through the roof! There is one pair of AR3s for sale locally, with replacement woofers (described as "period correct" ARs) for $1150. A lovely pair of all-original AR3s on eBay is optimistically listed for $3500!
There always seems to be a good selection of Advent, Infinity, Klipsch, Cerwin Vega, JBL and others in my local Craig's List. Many look beat up, and of the ones that don't, so far I have yet to read a glowing review. Am trying to stay as far under $500 for this purchase as possible.
Was hoping the Heybrooks were, at least here in the US, an "undiscovered gem", but alas...