Sounds about right.
Its a pretty simple circuit. If you are skeptical of the data provided by the manufacturer, you can run the analysis yourself.
You can use a stock TS-9 schematic for full analysis of the circuit (the TS-9DX schematic omits switching and LED indication, and is thus incomplete for this purpose).
I'm a "professional."
Buy my products and make me rich.