Stamp duty on £9,250,000 primary residence (individual) – estimate £1,023,750