Ich habe an Bord von anderen Passagieren auch schon gehört, dass Guthaben wieder zurück gebucht werden kann. Allerdings anteilsmäßig ohne Rabatt Prozente dann. Von offizieller Seite habe ich dazu weder was gelesen (AGB) noch gehört. Vielleicht passiert so etwas aus Kulanz.
Vielleicht hatte er doch keine Genießerkarte gehabt sondern hatte sein Bordkarten aufgeladen, da bekommt man ja sein Geld wieder zurück - wenn es nicht komplett verbraucht wurde