I don't think they should have fined him for the push, as it happened in the pits.

If something had taken place on the track, they shouldn't fine drivers either. If it happens while under caution or on pit road they should just pull the driver's license for the rest of the year.