Mike Lee = Santorum clean-up?