I would imagine that would be around the normal price, I have seen corydoras julii for £3.95 each in one shop but the same fish for £7 in another. both were juvies. so depends where you go.
i got my bronze for £2 each and my C. copei for £5 each. i think about £2 - £3 is average for peppered and bronze, about £4 - £5 for panda and trilineatus and £1 - £3 for the dwarf species.