Yep... sounds about right.
In my Islandia.... half a tank of fuel, no water in the fresh tank... and only me.... I can almost touch 50. So... the Challenger 2000 is a solid 1000 Lbs lighter... so I would think 55~57 would be right.
But as above... there are A LOT of variables. A little wear in the pump can show up as 4 to 7 mph off the top. Also... adding people, or putting the top up will scrub speed.