Sources note real money player buying down at 1.3185/90. Apparently they were notable sellers yesterday, so basically some profit-taking.

We’re at 1.3205.

Can we shut up shop for Christmas yet? Jingle bells, jingle bells, jingle all the way………