Yes, I'm gong to have the repair shop double check the fuel filter, even though I'm fairly confident they installed the right one. I'll also have them check the fuel pump.

As for how the car ran before the "tune up," other than two of three times over a two year period, I never pushed it to 4,000 RPM+ until after the recent work. So I don't know how it would have behaved then at higher RPMs. This is making the diagnosis more difficult.