I strongly suspect the filter would be the same, but even they weren't I can't see there would be a problem.
In normal life these things would be in a Ford Focus or whatever and get changed every 12k miles or so. On our cars, they get changed every year at much lower mileages.
Have you queried it with the guy who did the service?
