Late followup in this thread: here is the Christie's auction for items being auctioned off: https://onlineonly.christies.com/s/firsts-history-computing-paul-g-allen-collection/lots/3726