Screen cast dongles are pretty much a dime a dozen these days though. Maybe I’m lucky but in he past two years or so I haven’t been anywhere that still relies on hdmi for presenting on big screens. Except conferences.
Amazon has a bunch[0] but couldn't really vouch for any of them, I mainly use Apple TV (not just for airplay.) I've also seen these things in pretty much any electronics store I've been the past couple of years, particularly ones in touristy areas – I guess plenty of people like to cast video to hotel room TVs maybe?
A buddy of mine used a dongle for his big screen pre-streaming features era TV. He mainly used it to stream games from his phone or iPad to the TV, and Netflix. I think it was chromecast though, not airplay, but same difference really.
