Wow, that is a very nice plane.
Indeed it is, and it's now been sold.
Jeff called me out of the blue yesterday in fact and let me know he'd sold it. A retired United captain and his son, who is now also a captain for United, bought it and flew it to Florida a few days ago. Final price was $45k.