I mean, I like puns but they're a flash in the pan. Jokes get old after a while and you don't want to embed them in something fairly permanent like a building name.

This particular word for the oldest profession goes back to Old English. I am fairly sure it would outlive the building.

If the problem is when the joke lives on amusing undergrads long after you've tired of it, that just makes it worse.

Wait until they hear about what Magpie Lane in Oxford used to be called.

https://en.wikipedia.org/wiki/Magpie_Lane,_Oxford

"Surely you've all heard of the Hoare house on campus?" seems like a pretty timeless way to a) keep people from dozing off during that bit of lecture b) cause a whole bunch of people to remember who this guy was and what he did.