240-245 sounds a bit low to me, the ACR always ran 245-247 in the tunnel and the '03 was always a bit quicker on the top end (less downforce, mainly)... I think the old target was 250mph. Could've changed a bit since.
Also, comparing 3K speeds to tunnel speeds isn't a good idea, the tunnel is uphill on the top end (and slightly downhill on launch) while SSRX is dead flat.