$ORBS is about to be removed, right? This is not a buying or selling suggestion.

Shorting has been quite comfortable for a few days.