Not going to happen though is it. Off BY 07:30 not at 07:30 (08:00) in Glasgow and Edinburgh
If the timetable says you have to be off by 0730, that means that stepping out of the exterior door at 07:29:59 is acceptable, and staff should not be hassling people to do otherwise. Just like in a hotel (and it does try to ape one) having a checkout time of say 1000 means you can check out, at
your choice, at any time up to that point, including chucking your key on the front desk at 09:59:59, something I would very often do if I'm not in a hurry.
It does NOT mean "well, we might let you stay on until 0730 but we might want to head to our hotels earlier in which case we'll tip you off when we feel like".
If that is not what is on offer, the timetable should say what the situation actually is, i.e. remove the stipulation so people are expecting to leave when the train arrives.
If, however, individual staff are making their own rules up, like the Virgin Trains "Coach K" issue, the Company needs to deal with that issue and make it clear that it will not be tolerated without disciplinary action, and actually take that action if complaints are received.