Your numbers are pretty much correct. When I flew F16s the top end was about mach2. It depends: if you are going uphill or downhill.