I reckon I'd take the lot - otherwise confusion could reign! (does the invoice showing VAT paid have 0% or 17.5% ?)
The likelihood of needing any documentation is exceedingly low - I've been across with friends who have panicked mid channel when they've suddenly realised that they've forgotten documents - one occasion no passports, another occasion no ICC, VHF licence, in fact no boat documents at all (and not even a red ensign flying)!
Best to be organised, but don't get stressed about it