Just a minor correction here, HS1 was not built with public funds. Indeed Thatcher wrote into the Channel Tunnel Act 1987 a clause making it illegal for any public subsidy to reach the tunnel or its connecting line. As a consequence, St Pancras is the only privately owned railway station on the national network, and HS1 itself is owned by a private consortium.