That name change at Washington and Lee University isn't going to cost 'em much