Yeah sounds fairly normal to me...depends how cold the car is of course. Usually goes up to about 1200 or 1300 revs I think, I haven't started my car in a few months so I'm not exactly sure what revs. The TCCS system on the first gen 3S-GEs use a water temp sensor to adjust idle setting and stuff like that...so as long as the idle speed goes back to normal after the car has warmed up enough, then it's reasonably safe to assume that it's all working o.k.