The havok pro has a 3 amp bec
The max amps at locked according to the specs of both of these servos are above 3.2 amps
Normal amp draw is under 1 amp, but at full steering & full throttle they will approach or go above the max amps of the internal bec.
A Main Hobbys advises for both of these servos.
*NOTE: Certain combinations of receiver and ESC have been found to cause "Brown Out" issues when combined with Savox servos. An external BEC, or BEC stabilizing receiver capacitor may be needed for efficient, glitch free operation in low voltage electric applications.
Normal usage with any brushed will increase the amp draw as the brushes break in.
I use a castle bec, I prefer it to a capacitor as the valve of my truck is around $600 & to me the $20 bec that produces 10 amps makes me feel better.
I have many friends that use either with no problem.
And yes I have an amp meter I have put inline to check this.
Hope this helps
TM