I'd be inclined not to use WD40:
penetrating oil (WD40 etc) works ok on steel vs steel, the rust is pretty weak and a bit more porous. Ally vs steel, the ally oxide expands into the gap and isn't permeable.
http://www.sheldonbrown.com/stuck-seatposts.html
looks like ammonia helps to dissolve the oxide (think there's a few other possibilities too) – lobbing wd40 down might stop that working.
Tho' your lbs will probably use brute force, rather than chemistry.
FWIW, on one mate's bike (ally vs ally) it took about an hour of assorted violence, on another (ally in a steel frame) we wound up cutting along the length of the post – 3 slots eventually, with only one slight groove in the seattube butting. Took about 3 hrs 🙁
That'll learn 'im not to ride in the sea 😮