Also, 'letting them get away with it' isn't necessarily a binary question. Unless you will literally never see them again, you punish them outside the bidding system, and they know you will punish them outside the bidding system, so they do not defect unless they don't trust your willingness or ability to punish them sufficiently.

And this was a group of housemates, so...