Hi - Strongly suggest you have a go at the 90K service yourselves. It's not difficult, all parts are available on the net. There is even a fantastic video on youtube on how to change the spark plugs. It does takes a little time to complete (by a novice like myself) but it is doable!
Did my own on a 2008 IS250 sports luxury and saved $$$'s