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