I'd get no more than seven. If they all make it you will be fully stocked. If one or two die you will still have enough to make a nice group.
Take a close look at the cardinals at the fish store. They should all have good color with no 'smudges' or signs of disease.
Then hope the employee nets them gently. They are easily stressed.