Makes sense that they will not give you a filter.
You can swap it out with a new one when you get the car back and have 7,000 miles to go.
Good luck with the repair, hope they got it right.