Yeah, unfortunately we can't TAS v2.5 since it softlocks on the Bowser fights. Also, it turns out that the old 4:38 TAS is technically invalid (corner boosting to regain clip speed is actually impossible on v2.5, this is a side effect of how the TAS tool was made), so a v2.5 TAS likely wouldn't save the full 10 seconds over v3.0.