I've got a new answer to the question. What would I do if AVB got to 10 cents today, I would: short AVB