Yes, that is correct numbers for a K4 engine. The 1st number of the K4 model range was 2300001 and the K5 started with 2500001. The engine number you are referring to is 25*****, so it's a K5. I would be more worried about the last numbers of the VIN not being identifiable. It would show the month and year of manufacture on the VIN tag.