Geez, the 419 was uncommon, even in it's own time. And then,
I beleive it was the largest of a set of three drives, the others being
the 406 and the 412 (the last, of course, is very well known). It appears
these were 2,4,6 head units (i.e. 1,2,3 platters) and were otherwise much
the same. And that the last 2 digits of the model number give the
(unformatted?) capactity.
I believe the standard drive in an HP9133XV was an ST419 (and in a 9133V,
it was an ST406).
-tony