Do we need an external revenue service now that tax havens exist?