Mr2bill,
Yes, she was sold for a penny. That's the final pricetag that the government put on her. They came to that conclusion after figuring out how much it would cost the private company in Texas to relocate and scrap her out compared to how much they would make off the scrap. Since they figured the company would essentially break even, they sold her for a penny.