With some work, I have found the actual transmit frequency of 433.90000 Mhz, although the carrier frequency may be a little off from that. (The mouse moved on the picture, so the displayed frequency is a little off).
Now, I can generate a test signal and retune the actual receivers.