Stamp duty on £9,050,000 primary residence (individual) – estimate £999,750