Those Portsmouth Fans.......... who paid 38 for a match ticket and 35 for a coach ticket, to set off at 5:15 am on an official coach, won't mind too much now.