If they did, they might not have bled it. Just to save yourself some potential time. With engine cold/warm but not hot, loosen the bleeder screw on top of the thermostat housing. With it loose or taken out, start the car and let it get to temp and see if fluid is constantly coming out. No air pockets. And make sure you have some in the overflow jug. If so, then do a flush if you desire.