The quote I received from the local company (the 12x 465w) panels has come to £8,500ish, including installation. I might ask to see what it is with a 10kWh battery, and see if it makes sense. I did wonder if 5kWh would be enough throughout the winter, I'd imagine it might be only enough to get through the peak period.
Octopus's provisional quote was £2k extra although I need to give them more specific information, so that quote might come down.
The way our roof is means we'd basically use all of it and it's facing east/west which should give us a longer sunlight duration.