We got back to Brighton about 10:30, after using normal Inter City trains.
I only found out decades later that the official train you’re referring to existed, rolling into Brighton at midnight, 10,000 noisy fans waiting to roar the players. Wish I was there,