Stamp duty on £6,400,000 primary residence (company) – estimate £873,750