Yep, press it back in and then order some replacements.
The flipper crank (circled) doesn't really wear out, and EOS switches last a long time... You don't need to order a full rebuild kit.
But, everyone should have some flipper coil stops, sleeves, and plunger/link spares, because they do wear out.
pasted_image (resized).png