Yes, I think you should.
They get paid to do their job, so they should do it.
I say go a head file a complaint.
-I filed a complaint on angry bus driver. But then again that was different. That guy was a jerk! I can't believe a bus driver made me cry. >:|