Well said. No point in getting upset over a jerk that obviously has issues with himself. Where would it get us if we would fret over every jerk we encounter in our lives? Ignore him, and if he gets obnoxious, document every thing he does, record his insults and then turn a copy of everything to your manager with an FYI notice (For Your Information). Problem solved.