Computing the terminal-year FCF: Miles Cyprus Corp. purchased a truck that currently has a book value of $1,000. If the firm sells the truck for $5,000 today, then what is the amount of cash that it will net after taxes if the firm is subject to a 30 percent marginal tax rate?