Anyone have experience with Red Star Radio? I'm interested in a type 139B receiver, but I've never seen the seller or receiver mentioned on this list.