There is an easy way to get most of the air out of the system if they didnt do it.. There are three ways you can do this..
1. squeeze the top hose (take 10 years this way)
2. Go to the local auto parts shop and get a flush kit.. put the t-junction on and leave it open while filling it up,(takes a little bit to do but faster then 1)
3. Just remove the outlet side (hose coming from heater core to water pump) of your heater core hose and start filling the radiator.. This will push out almost all the air out of the system.. when the water starts to run out of the core then just attach the hose back up.. start car and let get warmed up.. once there remove rad. cap (take care when doing this as the coolant will be very hot).. add coolant till rad. is toped off... add some to overflow bottle so if there is any air left in the system it will replace the air with what is in the over flow bottle...