Stamp duty on £7,700,000 primary residence (individual) – estimate £837,750