N417XA has indeed been put back on the market. http://www.aersale.com/ProductsandServices/AircraftSalesandLeasing/Availableaircraft