Hi @essjay. Many thanks for your response.
I fear I have overstocked, and I now regret it. Not because of the work involved, but for the wellbeing of the fish. The cardinals are generally quite relaxed, not very active swimmers. At night, when the lights go out, they become active for 20 mins...