The specific camera model doesn't seem very important its probably whatever they had on hand - presumably you could just replace it with a camera with an electronic shutter and as long as it has the same remote shutter port you could take many millions of exposures.