I voted for the hilarii, they get a bit bigger and can be on the aggressive side of a community turtle, but they look great and are super active. I've kept most of those turtles and don't think that you can go wrong.
IMO, skip the salvinii, and get a Claudius angustatus. Expensive but very cool, and they swim backwards.
J