When trading at 17.18, a customer bought just over 6300 TSM Jan 17.5 puts paying 0.65 per contract.