Don't worry about it. As for the tax advantages of shorting against the box, as Zeev pointed out those were nullified by Congress a number of years ago.