Trader Brian Jones on Twitter: "$JRJC been waiting all day to pick this one up at near $13.00. Finally got it. https://t.co/6dDij4wqkC" / Twitter