The Historic England website shows the Hall to the south https://historicengland.org.uk/listing/the-list/list-entry/1335430 as mapped https://www.openstreetmap.org/way/723572390 and the Stableblock/Coach House north https://historicengland.org.uk/listing/the-list/list-entry/1108924 of it as mapped https://www.openstreetmap.org/way/723572386 (is now a  7 bedroomed house with The Coach House name used https://www.chad.co.uk/lifestyle/lords-ladies-and-gentlemen-this-wonderful-country-pad-in-pinxton-is-on-the-market-now-for-a-guide-price-of-ps975000-987603)

Their background map refers to https://www.openstreetmap.org/way/723572388 as the Lodge which makes sense being at the start of the driveway (Powered by Esri Contains OS data © Crown copyright and database right 2024 | © Historic England)

