AFAIK Michael Burry is shorting it via PUT options ­­— can look into what he is doing.