T25 vs E316G is apples to oranges. I hit full boost around 3K-3400 RPM. Like AWD-Drifter said check the serial number. Maybe post up a few pictures so we can confirm.
I'll do that when i get home. Maybe it is normal then. I don't ever bring the car over 3k rpm at all. I baby it too much.