Should You Worry About the Short Interest in VIVUS (VVUS)?