Phew - I'm holding no position in this for the first time in over a year (sold at 431.114). I'll be back if I can't find something else to buy before I see this at a discount over 10% again. I doubt it'll be more than a week away.