Stamp duty on £9,000,000 primary residence (company) – estimate £1,263,750