Hi,
According to the manual and a listing of coils used by each game, Galaxy had unique flipper coils, 25-450 primary/34-4500 secondary. You've got one on the left (with the plastic former broken). These would've been slightly more powerful than Stern's standard flipper coil, which was 25-500.
I'e replaced that broken one with a new one from Best of pinball, but they only had one in stock, so I am stuck with the Bally one on the other side for now, and its definitely less strong