I watched this auction, not really needing them but if the price was a deal. In the last 10 seconds the price increased by approximately $150 from two or more bids. Final price $657. Still a good deal for someone who might really want them. The color is unusual, reddish.
How much for a new set?
$850 if they are available: https://hvccycle.net/cylinder-heads-1/