Stamp duty on £4,250,000 primary residence (individual) – estimate £423,750