Is there any way to short the DE40 through an ASX instrument like BBUS? To me it looks primed for a big fall from 14421.