I would use a normal symmetrical profile.
How much negative aoa do you think the stabiliser (typically) has?
Actually, does anyone know ?
Of course there is change in aoa at 8 degrees, from zero lift to max lift for the e874, so depends on whether you are talking about full speed or going slow or upwind.
I am not so sure you have negative lift always, on the stabiliser.
Airplanes and gliders dont, in fact many of the neutral and agile ones have zero and even positive lift on the stabiliser.
One interesting question could be: How would you ever measure the actual aoa on a stabiliser, at a given front wing aoa???
Remember, there is also downwash from the front wing.
Still, my intuition says (no facts, but does anyone have this?) that there is no reason to use an upside down assymetrical profile on the stabiliser - but this is maybe just me