[harryh]

Yes it's a capital loss. Which means you can use it to offset an unlimited amount of capital gains, but only 3k of ordinary income. So how long it takes to redeem could be a long time if you never incur capital gains.