im pretty sure the stock one are too long and you need to use the ones from tein or buy aftermarket ones. As mentioned above repco sell adjustable ones if your desperate.
the ones that come with TEIN dont have any green colouring on them or anything like that, they look like stock ones, so the P.O could have easily mistaken them for stock if he didnt install the coilvers and bought the car with them already.
cheers