Stamp duty on £9,250,000 primary residence (company) – estimate £1,301,250