Yep, that should be slightly under 10 hours on my country's terrible railway network (if my country were that long). We have to operate those ETR 470-derived trains ("ČD Class 680") at like 65-70% of their design speed since we don't have any proper rails for them either.