Oh, that was a 9 1/2 pound full brisket. From the 'ethnic' market near my home. Fairly priced at $2.49 a pound. Not that scrawny little 'trimmed' brisket they sell at the supermarket for ridiculous prices. Re - goddamned - diculous, I say.