Many thanks for the pointers, especially about the external receiver, yet I can't find any, either new or second hand, online at the moment.