Yes, but it's not really that specific. You can deduct $3000 of losses against any other taxable income, it doesn't have to be an HSA distribution.
