Thank you everyone for your very helpful responses.
After considering all your advice and also looking at Youtube videos to get an idea of just how big the 25x 100 are, I've decided to stick with a 20x 80. In order to sooth my disappointment when I realized how impractical my initial ambition was, I've decided to pay up and go for the best 20x 80 I can afford. My view is that this is a lifetime purchase, and one that I will ultimately get more use out of than something larger.
I have just now ordered the following from First Light Optics:
Helios LightQuest HR 80
Horizon8115HD Tripod
iOptron Ball Head a3305
The total weight of this set up is roughly 6.5kg, which I think is manageable in terms of portability. I will be able to take this to a local park and set up quickly if a decent opportunity arises. Alternatively I can take this on public transport for a more serious observing session.
As an aside, I have booked a trip to Croatia for some R&R. I plan on taking this set up with me, (fingers crossed for dark skies) so I will shortly be able to report back on how this setup travels by air.
The tripod is too large to fit in a typical holiday suitcase, and it looks like this is the case for the smaller, cheaper tripods too. I am flying with Lufthansa, and they allow sports baggage to be carried for free which I think is a great offering. Unfortunately, they have specific categories of sports equipment that are covered and photography/astronomy equipment isn't included. I'm going to reserve a slot for sports equipment and put the tripod in an old fishing rod bag (fishing is covered) and hope they don't notice. If that doesn't work it's €80 each way excess baggage so it will be an expense mistake!
I shall report back and let you know how I get on.
Thanks once again!