#4 Brexit means that 100% of customs revenue goes to HMRC, not to the EU coffers
As an EU member state, 75% of *all* customs revenue (it was 80% when UK was a member) goes to the budget of the EU. Now outside of the EU, the UK HMRC gets 100% of that revenue to spend on public services, currently around £2-3bn extra a year.