Anyone know approximately how many XJ220s are in the U.S. and recent sale prices from any auctions over the past year? One seems to pop up once a year...