9:10.48. Not sure if you round up or down, But it's about a second better than the current WR.

Mod note: Typically, rather than rounding, you truncate in speedrunning (in this case, that’s getting rid of all the decimals). So, a 9:10.48 is a 9:10, just as a 9:10.01 and a 9:10.99 both would be.