Source code: https://github.com/AdrianCX/pico433mhz

Total cost: 8.5 euros (6.90E raspberry pi pico W, 1.5E for the RF pair, free game card and wires)