It's not necessary to resort to electrostatic forces providing a buffer against physical contact for this problem. To resolve the suggested paradox, it's only necessary to model the collision with a non-rigid fly. The simplifications of a rigid train and simple contact forces are good simplifications, I think. They make it much simpler to model the collision, without noticeably altering the result.
