Repair of broken float pin holder
Broken float pin holder
Repaired float pin holder