I am hoping it someday trades at $3.50. Do you think it will ever make it that far? Are you currently a buyer at these levels?