Dave Smith wrote:

> I have posted before about pattie shells, which seem not to be available
> in the US, but they are rounds of puff pastry with the tops cut out.

Pepperidge Farm markets them as "pastry shells".