Did they adjust your valves during that maintenance? When I had mine adjusted at 15K, my idle got low too. It went back up to 700-800 when warm after a week or so.

I don't imagine it would be a problem unless you hear it sputtering out or anything.