This is a 17 year old aircraft, so I think it's only worth one fifth of that at best. They may be better off just buying a used one, rather than risk putting this into service.