For reference I was able to get the broken stud out. Was really easy. Heated with torch and grabbed it with a vice grip. For reference for anyone who needs it the condenser stud is a 8mm x 1.25 x 40mm
