Should Jason Day be happy with his play in Dallas?