I think it was a variant of what in the UK is called R1155E RAF Receiver 10D/1332

If not exactly that model, very similar.