Correct. The setting for the RIV tool is definitely 15 ATDC. If the two lights are illuminated with the engine at the position indicated.............you are done.

If this is truly the case, you've got an almost unbelievable situation. None of these diesels with some mileage on them are dead on the IP timing specification. There must have been a chain done in the not too distant past.