$VRAX float is too small. They have to be naked shorting.