Different header logo files, one for mobile, one for large screens? Real Homes theme

I would like to know if there is a plugin or some code I can add which will allow me to define which header logo image file is used, depending on if it is viewed on mobile or on PC.

Anyone have any ideas?

This is the website and it is using Real Homes theme. I checked the theme docs and don’t see this option.