[jrochkind1]

Good correction, thanks! Still 35% of reserves is plenty!

I hadn't considered how many reserves have probably shifted to euros since the euro, that's actually a big deal for the US. Anyway...