Heh, most of the mechanics I know top off all the fluids after doing anything with a car as a matter of course. It's a good way to squeeze an extra $10 out of every customer.