For an idea of their HPs, I randomly killed 10 of these from all over the zone. One on one, no heals, strictly melee damage, went as follows:
1 - 912
2 - 900
3 - 998
4 - 966
5 - 899
6 - 922
7 - 1003
8 - 986
9 - 948
10 - 925
So they have on average 950 HPs, give or take depending upon level and buffs.