Yeah the Arsenal Pie shop heard of that.
There are a few top notch places to get pies in London as the food has a history there but to be fair Pies are much more a Northern thing. Pie Chips and Gravy are a Northern go to staple street food where as down here we go for Fish and Chips more, Kebabs and Pizza etc. etc.
Go to Manchester, Liverpool, Newcastle or one of the other towns up north and pop your head in a chippie and they are all munching it en mass. Much prefer it with gravy and chips myself to mash and liquor as well… but I do like a steak and kidney pie rather than the meat and potato they have up there mainly.
I also prefer a large pie rather than an individual one as there is less pastry and more meat. Too many pies now are all pastry…