Jack,

No, haven't ever heard Antarctic stuff on 4125 kHz. Only really started
listening to Antarctic this season, which started a couple of weeks ago.
So far, I've just heard stuff on 8867 and 9032.

Mark.