On 2024Sep 12,, at 7:24 PM, Glen Slick via cctalk <cctalk(a)classiccmp.org> wrote:
 On Thu, Sep 12, 2024, 6:13 PM Adrian Stoness via cctalk <
 cctalk(a)classiccmp.org> wrote:
  WaIt someone paid 23k for a asr33? 
 Price Realised USD 23,940
 Does that include the 26% buyer's premium, or is that another $6,224 for a
 total of $30,164 for the ASR33?
https://onlineonly.christies.com/s/firsts-history-computing-paul-g-allen-co…
My understanding from the friend who has been following things more closely, is that is
the hammer+house price.