The pick-up pipe blockage is more common than you think. The part itself is relatively inexpensive and I'd recommend that it's cleaned annually for piece of mind. I would also get them to clean the sump whilst they are working on the car, you probably find that this will be heavily polluted.