There’s a print for sale on 35mmforum if you guys are interested.
$650 + postage (in the US). Good overall condition. It’s over 3 hours though, so even the most affordable scanning options would still cost about $1K.
That print was finally sold…at $600 + postage.
I hope that the person that bought it is one of us.