I listened to a Jet2 757 coming out of tfs yesterday.The pnf twice asked for the santa maria hf freqs despite being told by the atco to standby.It is all in the aerad supps or on the jepp Natlantic chart if you care to look.By the way he gave you the wrong freqs but you probably worked that out.