Hello!
I’ve tried getting some intel on the wall remote, and it seems its this model:
Johnson JCRL12OP
Any insights? Seems to be a generic wall remote/thermostat, used by many other brands.
Cheers, anthonws.