I think I am the only one that mentioned the Hitecs. The mini size HS5245 was originally an option for the elevator. It is nearly the same size as a JR 3421 but it was slightly thicker and harder to fit. For convience and a flush cover the 3421 was the best choice.
Not sure if that is the one you were asking about, but here are the 5245 specs from Tower
Operating speed: 0.15 sec @ 60 degrees at 4.8V
Torque: 61 oz-in (4.4 kg-cm)
Weight: 1.12oz (32g)
Length: 1.27" (32.4mm)
Width: 0.66" (16.8mm)
Height: 1.21" (30.8mm)
Wire length: 12" (305mm) approximate

I used all JR.
Mark