Surely BRB and RMS can restart trading now?I thought the ASX pause time limit was 20mins after a mkt sensitive announcement.