The missing cs4231a has now been successfully replaced.