Great. I've set up Kodi on my Mac. Of course, there's no way to get the content from my machine in the office, to the actual TV that I can see. So that doesn't really solve any problems.

Unless you mean buy a separate box, put Kodi on it and attach that to the TV

Yup.

What about Netflix? Can I have Netflix in Kodi (in a raspberry)? Honesty asking.

Not sure about raspberry, but I use Kodi to watch Netflix all the time and it works well :)

See: https://github.com/CastagnaIT/plugin.video.netflix

But no 4K, due to stupid DRM restrictions.

Yeah, I saw that. And then they wonder why people pirate movies...

Yep, hardware matters though. You need one that can work with the DRM.

Yes you can. It can stream a bunch of things along with regular tv.