Allen Air Lines must liquidate some equipment that is being replaced. The equipment originally cost $12 million, of which 75% has been depreciated. The used equipment can be sold today for $4 million and Allen faces a 25% tax rate. What is the equipment’s after-tax net salvage value?