OK, I got some info from the second seller:
He sold his Vintage Speedster to the realtor who sold his house. Got a very decent price for it and both buyer and seller are happy. It was a classic-sided ivory on red and has under 15K miles on it IIRC.
He also found a space at a local classic car storage facility for his 912 that's 15 minutes from his new home so he's keeping that for now and staying in the hobby - Besides, his wife always hated the Speedster, so keeping a coupe makes more sense.
Sorry for the false alarm, but I didn't want one to slip by if I could help out.